Advances in Software Engineering Techniques: 4th IFIP TC 2 by Bartosz Michalik, Jerzy Nawrocki (auth.), Tomasz Szmuc,

By Bartosz Michalik, Jerzy Nawrocki (auth.), Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)

This booklet constitutes the completely refereed post-conference lawsuits of the 4th IFIP TC2 valuable and East ecu convention on software program Engineering recommendations, CEE-SET 2009, held in Krakow, Poland, in October 2009. the nineteen revised complete papers provided have been conscientiously reviewed and chosen from sixty three submissions. The papers are prepared in topical sections on software program architectures and improvement; modelling and formal tools in software program improvement; measurements, trying out, and caliber of software.

Show description

Read Online or Download Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers PDF

Similar software books

Office 2013 Bible: The Comprehensive Tutorial Resource (4th Edition)

The simplest of the simplest from our Excel, note, entry, and PowerPoint Bibles!

Learn the sought-after gains of the middle purposes from the workplace 2013 suite. This place of work 2013 Bible positive factors the best-of-the-best content material from the Excel 2013 Bible, through "Mr. Spreadsheet" John Walkenbach; the note 2013 Bible, by means of place of work specialist Lisa A. Bucki; the PowerPoint 2013 Bible, by way of MOS grasp teacher and PowerPoint professional Faithe Wempen; and the entry 2013 Bible from Microsoft qualified program Developer Michael Alexander and place of work and entry professional Dick Kusleika.

This significant source additionally covers Outlook, writer, OneNote, SkyDrive, and different very important positive aspects within the place of work 2013 suite. in an effort to speedy and successfully use workplace 2013, commence within the experts' nook with this must-have e-book.

• provides the best-of-the-best content material on workplace 2013 from the best specialists, authors, and participants to our Excel, notice, PowerPoint, and entry Bibles
• comprises content material from John Walkenbach, aka "Mr. Spreadsheet"; note and workplace specialist Lisa A. Bucki; MOS grasp teacher and PowerPoint specialist Faithe Wempen; Microsoft qualified software Developer Michael Alexander; and workplace and entry professional Dick Kusleika
• Takes you past developing uncomplicated textual content records, spreadsheets, and displays that will help you use a number of place of work purposes instantly to complete severe company tasks
• additionally covers writer, OneNote, SkyDrive, the Cloud, and different key beneficial properties and themes for place of work 2013

Get the easiest of 4 workplace 2013 books in a single with this power-packed reference!

Software Quality Management VI: Quality Improvement Issues

The standard detailed curiosity team of the British laptop Society provides the edited court cases in their 6th overseas convention on software program caliber administration (SQM'98) held in April 1998 in Amsterdam. the target of this sequence of annual meetings is to advertise overseas co-operation between these excited about software program caliber and technique development, through making a better realizing of software program caliber concerns and via sharing present learn and commercial event.

Optimization Software Class Libraries (Operations Research/Computer Science Interfaces Series)

Optimization difficulties in perform are assorted and evolve through the years, giving upward thrust to - quirements either for ready-to-use optimization software program applications and for optimization software program libraries, which offer kind of adaptable development blocks for app- cation-specific software program structures. on the way to observe optimization how you can a brand new kind of challenge, corresponding types and algorithms need to be “coded” in order that they are obtainable to a working laptop or computer.

Objektorientierte Modellierung von Automatisierungssystemen: Software Engineering für Embedded Systems (German Edition)

Das Buch beschreibt den objektorientierten Entwurf von Software-/Hardware-Lösungen zu automatisierungstechnischen Problemstellungen, sogenannten "embedded systems". Objektorientierte Systeme bieten erhebliche Vorteile bei der Beherrschung von Komplexität, späteren Änderungen und Wartungsmaßnahmen. Ausgehend von bekannten examine- und Designmethoden werden zunächst die grundlegenden objektorientierten Konzepte vorgestellt, ausgewählte Methoden im Überblick miteinander verglichen und die speziellen Eigenschaften von "embedded platforms" beschrieben.

Additional info for Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

Sample text

81 21 25 22 36 21 23 28 39 15 19 26 36 Acronyms for aspects are: monitoring (M), message formats (F), message ordering (O), and throughput (T). “Message predicate arity” refers to the arity of the message predicate, “Parameters/operator” means average number of parameters of individual operators. These measures, along with number of operators and number of objects in the domain, very roughly indicate the size of state-space and plan-space that have to be searched – a major factor of complexity of the planning process.

Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems. In: Proceedings of 15th IEEE International Conference on Tools with Artificial Intelligence, pp. 39–46. IEEE Computer Society (2003) Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning 29 2. : Enterprise Service Bus. , Sebastopol (2004) 3. : STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, 189–208 (1971) 4. : Automated Test Case Generation from Dynamic Models.

The output of the method is the plan that encodes a structure of services sought. Concrete examples of the method’s input and output as implemented in the prototype can be found in [7]. 2 Action-Based Planners Due to similarities between searching for an integration solution and planning we conduct a search of the services to be used by employing a symbolical action-based planner. Action-based (or STRIPS-like) planners, as descendants of the automated planner STRIPS [3], are based on the situation calculus.

Download PDF sample

Rated 5.00 of 5 – based on 24 votes