Sciweavers

1077 search results - page 27 / 216
» Introducing Software Engineering by means of Extreme Program...
Sort
View
TII
2010
155views Education» more  TII 2010»
14 years 4 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
FSTTCS
1998
Springer
15 years 2 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
RISE
2005
Springer
15 years 3 months ago
Balancing Agility and Discipline with XPrince
Most of the contemporary projects require balance between agility and discipline. In the paper a software development and project management methodology called XPrince (eXtreme PRo...
Jerzy R. Nawrocki, Lukasz Olek, Michal Jasiñ...
POPL
2005
ACM
15 years 10 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid
IWPC
1996
IEEE
15 years 2 months ago
Extracting Business Rules from Source Code
This paper reviews the state of the art on application knowledge acquisiton from existing software systems and defines the role of business rules. It then goes on to present a met...
Harry M. Sneed, Katalin Erdös