561 search results - page 30 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
133
click to vote
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
136
Voted
HCI
2009
14 years 11 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
122
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
126
Voted
INFSOF
2010
15 years 11 days ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
100
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....