8083 search results - page 97 / 1617 » A Formalization of Software Architecture |
87
Voted
IFM
2004
Springer
15 years 6 months ago
2004
Springer
93
Voted
TSE
2002
15 years 7 days ago
2002
92
Voted
CHARME
2001
Springer
15 years 5 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...
106
Voted
OOPSLA
2005
Springer
15 years 6 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...
91
Voted
CAISE
2005
Springer
15 years 6 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, ...