Software process in a concurrent, formally-based framework
| Autor: | Jin Sa, B.C. Warboys, J.A. Keane |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
Social software engineering
Computer science business.industry Software development Software requirements specification Software walkthrough computer.software_genre Software development process Software framework Software sizing Software deployment Formal specification Goal-Driven Software Development Process Personal software process Software construction Component-based software engineering Package development process Software design Backporting Software system Software verification and validation Software engineering business computer Software design description |
| Zdroj: | 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929). |
| DOI: | 10.1109/icsmc.1996.571385 |
| Popis: | The specification and refinement of a large software system is given using a concurrent, formally based framework. The framework, OBM, is concerned with the development of software process models. The case study of interest is an ICL retail system. In this paper, OBM is applied to the development of the system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|