1481 search results - page 201 / 297 » Enriching the Software Development Process by Formal Methods |
116
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
124
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
119
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
152
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
145
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...