561 search results - page 16 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
141
Voted
JLP
2011
14 years 8 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
128
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
110
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
124
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
125
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...