Show simple item record

dc.contributor.authorFranch Gutiérrez, Javier
dc.contributor.authorRibó Balust, Josep Maria
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.identifier.citationFranch, X.; Ribó, J. Software process modelling as relationships between tasks. A: Euromicro Conference on Software Engineering and Advanced Applications. "23rd Euromicro Conference: New Frontiers of Information Technology: Budapest, Hungary, September 1-4, 1997: proceedings". Institute of Electrical and Electronics Engineers (IEEE), 1997, p. 199-206.
dc.description.abstractSystematic formulation of software process models is currently a challenging problem in software engineering. We present 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.
dc.format.extent8 p.
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshAutomatic programming (Computer science)
dc.subject.lcshComputer software -- Reusability
dc.subject.lcshComputer software -- Testing
dc.subject.otherSoftware systems
dc.subject.otherSoftware engineering
dc.subject.otherSoftware reusability
dc.subject.otherSoftware testing
dc.subject.otherSoftware prototyping
dc.subject.otherAutomatic testing
dc.subject.otherSystem testing
dc.titleSoftware process modelling as relationships between tasks
dc.typeConference report
dc.subject.lemacProgramació automàtica (Informàtica)
dc.subject.lemacProgramari -- Reusabilitat
dc.subject.lemacProgramari -- Tests
dc.contributor.groupUniversitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.description.peerreviewedPeer Reviewed
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
local.citation.authorFranch, X.; Ribó, J.
local.citation.contributorEuromicro Conference on Software Engineering and Advanced Applications
local.citation.publicationName23rd Euromicro Conference: New Frontiers of Information Technology: Budapest, Hungary, September 1-4, 1997: proceedings

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder