8083 search results - page 97 / 1617 » A Formalization of Software Architecture |
IFM
2004
Springer
14 years 3 months ago
2004
Springer
TSE
2002
13 years 9 months ago
2002
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...