561 search results - page 64 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
175
click to vote
ASPLOS
2010
ACM
16 years 20 days ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
145
click to vote
RSP
2007
IEEE
16 years 13 days ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
161
click to vote
COMPSAC
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
141
click to vote
UML
2004
Springer
15 years 11 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...
168
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...