Model-Based Reasoning: A Principled Approach for Software Engineering

H...............H

Show simple item record

dc.contributor.author Lee, Mark
dc.date.accessioned 2006-04-06T13:19:47Z
dc.date.available 2006-04-06T13:19:47Z
dc.date.issued 2000
dc.identifier.citation Lee , M 2000 , ' Model-Based Reasoning: A Principled Approach for Software Engineering ' Software - Concepts and Tools , vol 19 , no. 4 , pp. 179-189 . , 10.1007/s003780000005 en
dc.identifier.issn 1432-2188
dc.identifier.other PURE: 67327
dc.identifier.other dspace: 2160/90
dc.identifier.uri http://hdl.handle.net/2160/90
dc.identifier.uri http://www.springerlink.com/link.asp?id=eemvrgqrew0mcgxj en
dc.description Lee M.H., Model-Based Reasoning: A Principled Approach for Software Engineering, Software - Concepts and Tools,19(4), pp179-189, 2000. en
dc.description.abstract The software engineering industry suffers from almost unmanageable complexity both in the products it produces and in the processes of production. One of the current shortcomings in the software production process is the weakness of the models used. This paper makes observations on the role of knowledge in engineering and examines the central role of models and simulation. We develop an argument for the application of certain new forms of modelling methods in software engineering in order to impose more discipline and give a principled framework for building models that can support the software life-cycle. The concept of a model is examined in depth and different characteristics and types of model are defined. This introduces the relatively new concept of qualitative models and their use in the field known as model-based reasoning. Unlike previous knowledge-based methods, model-based reasoning has several important advantages. Although very few model-based software projects exist, we illustrate how this approach can be developed by drawing on applications from traditional engineering. It is argued that, because qualitative modelling offers great power for addressing the issue of complexity, such models have considerable potential as high-level abstractions of software products. These could form the core of tools for the management and support of the software development process through the whole product life-cycle. en
dc.format.extent 11 en
dc.language.iso eng
dc.relation.ispartof Software - Concepts and Tools en
dc.title Model-Based Reasoning: A Principled Approach for Software Engineering en
dc.type Text en
dc.type.publicationtype Article (Journal) en
dc.identifier.doi http://dx.doi.org/10.1007/s003780000005
dc.contributor.institution Department of Computer Science en
dc.contributor.institution Advanced Reasoning Group en
dc.description.status Peer reviewed en


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search Cadair


Advanced Search

Browse

My Account