561 search results - page 5 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
DFG
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
JOT
2006
14 years 9 months ago
2006
Software quality and software development productivity have been topics of major interest and concern for the past three decades. The recent rapid growth in the size and complexit...
RSP
1998
IEEE
15 years 1 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
104
click to vote
JCSS
2011
14 years 4 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...