This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
Peter Johnson, Stephanie Wilson, Panos Markopoulos...
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...