Results 1 -
2 of
2
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
- PROC. COLLOQ. ON COMBINING PARADIGMS FOR SOFTWARE DEVELOPMENT, JOINT CONF. ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT (TAPSOFT
"... ..."
Software Process Modelling as Relationships between Tasks
, 1997
"... Systematic formulation of software process models is currently a challenging problem in software engineering. We present here an approach to define models covering the phases of specification, design, implementation and testing of software systems in the component programming framework, taking into ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
Systematic formulation of software process models is currently a challenging problem in software engineering. We present here an approach to define models covering the phases of specification, design, implementation and testing of software systems in the component programming framework, taking into account non-functional aspects of software (efficiency, etc.), automatic reusability of implementations in systems and also prototyping techniques involving both specifications and implementations. Our proposal relies on the identification of a catalogue of tasks that appear during these phases which satisfy some relationships concerning their order of execution. A software process model can be defined as the addition of more relationships over these tasks using a simple, modular process language. We have developed also a formal definition of correctness of a software development with respect to a software process model, based on the formulation of models as graphs. 1. Introduction It is ...
