3763 search results - page 139 / 753 » Component-Based Software Engineering Processes |
125
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...
157
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
149
Voted
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
156
Voted
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
178
Voted
NJC
2006
15 years 6 months ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...