Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:

Keywords (1)

Academic
Publications
Formal Object-Based Design In LOTOS
Edit
Formal Object-Based Design In LOTOS   (Citations: 9)
BibTex | RIS | RefWorks Download
The advantages of object-based techniques in Software Engineeringare well recognised and widely accepted. The inherent flexibility ofobject-based systems often leads to an interactive and incrementalstyle of development, a consequence of which may be insufficient rigourin software production. As the size and complexity of a softwareproject increases, it is important to adhere to as rigorous a method aspossible.This paper shows how a formal method can be incorporated intoan object-based...
Published in 1993.
Cumulative Annual
Order by:

Citations (9)

Share this on | Contribute to Academic