561 search results - page 34 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
PEPM
1991
ACM
15 years 5 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
109
click to vote
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
118
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...