1031 search results - page 37 / 207 » On the Formal Development of Safety-Critical Software |
157
click to vote
SOCO
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
155
Voted
ACSC
2000
IEEE
15 years 9 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
148
click to vote
IRI
2003
IEEE
15 years 11 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
152
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
138
click to vote
SIGSOFT
2001
ACM
16 years 6 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...