enter search term and/or author name
Modeling software architectures in the Unified Modeling Language
Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins
The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design...
On fault classes and error detection capability of specification-based testing
Tatsuhiro Tsuchiya, Tohru Kikuno
In a previous paper, Kuhn  showed that faults in Boolean specifications constitute a hierarchy with respect to detectability, and drew the conclusion that missing condition faults should be hypothesized to generate tests. However this...
An inheritance-based technique for building simulation proofs incrementally
Idit Keidar, Roger I. Khazan, Nancy Lynch, Alex Shvartsman
This paper presents a formal technique for incremental construction of system specifications, algorithm descriptions, and simulation proofs showing that algorithms meet their specifications.The technique for building specifications and...
Behavior-consistent specialization of object life cycles
Michael Schrefl, Markus Stumptner
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but also by providing an overall description on how instances evolve over time. Such a description is often referred to as...