3799 search results - page 210 / 760 » An Engineering Approach to Formal Methods |
197
click to vote
UML
2004
Springer
16 years 13 days ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
196
click to vote
ISESE
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...
205
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
197
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
188
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...