Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/29304
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMoreira, Ana Maria Dinis-
dc.date.accessioned2019-04-11T12:59:28Z-
dc.date.available2019-04-11T12:59:28Z-
dc.date.issued1994-
dc.identifier.urihttp://hdl.handle.net/1893/29304-
dc.description.abstractObject-oriented methods for analysis, design and programming are commonly used by software engineers. Formal description techniques, however, are mainly used in a research environment. We have investigated how rigour can be introduced into the analysis phase of the software development process by combining object-oriented analysis (OOA) methods with formal description techniques. The main topics of this investigation are a formal interpretation of the OOA constructs using LOTOS, a mathematical definition of the basic OOA concepts using a simple denotational semantics and a new method for object- oriented analysis that we call the Rigorous Object-Oriented Analysis method (ROOA). The LOTOS interpretation of the OOA concepts is an intrinsic part of the ROOA method. It was designed in such a way that software engineers with no experience in LOTOS, can still use ROOA. The denotational semantics of the concepts of object-oriented analysis illuminates the formal syntactic transformations within ROOA and guarantees that the basic object- oriented concepts can be understood independently of the specification language we use. The ROOA method starts from a set of informal requirements and an object model and produces a formal object-oriented analysis model that acts as a requirements specification. The resulting formal model integrates the static, dynamic and functional properties of a system in contrast to existing OOA methods which are informal and produce three separate models that are difficult to integrate and keep consistent. ROOA provides a systematic development process, by proposing a set of rules to be followed during the analysis phase. During the application of these rules, auxiliary structures are created to help in tracing the requirements through to the final formal model. As LOTOS produces executable specifications, prototyping can be used to check the conformance of the specification against the original requirements and to detect inconsistencies, omissions and ambiguities early in the development process.en_GB
dc.language.isoenen_GB
dc.publisherUniversity of Stirlingen_GB
dc.subject.lcshComputer scienceen_GB
dc.subject.lcshProgramming techniquesen_GB
dc.subject.lcshSoftware engineeringen_GB
dc.subject.lcshLOTOS (Computer program language)en_GB
dc.titleRigorous object-oriented analysisen_GB
dc.typeThesis or Dissertationen_GB
dc.type.qualificationlevelDoctoralen_GB
dc.type.qualificationnameDoctor of Philosophyen_GB
Appears in Collections:eTheses from Faculty of Natural Sciences legacy departments

Files in This Item:
File Description SizeFormat 
Moreira.pdf9.41 MBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.