8828 search results - page 65 / 1766 » Formal methods in practice |
JLP
2006
14 years 10 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
FLAIRS
2008
15 years 8 days ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
ITRUST
2004
Springer
15 years 3 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
CN
2002
14 years 9 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...