Formalizing the Software Development Process
نویسندگان
چکیده
Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [D ́Souza 98] and Fusion [Coleman 94] among others, is a set of activities needed to transform user’s requirements into a software system. A software development process typically consists of a set of software development artifacts together with a graph of tasks and activities. Software artifacts are the products resulting from software development, for example, a use case model, a class model or source code. Tasks are small behavioral units that usually results in a software artifact. Examples of tasks are construction of a use case model, construction of a class model and writing code. Activities (or workflows) are units that are larger than a task. Activities generally include several tasks and software artifacts. Examples of activities are requirements, analysis, design and implementation.
منابع مشابه
Formalizing UML for Rigorous Software Development
Formalizing a modeling technique broaches issues including development of software specification, design, analysis, and synthesis. Software engineering methodologies should be grounded on rigorous principles and not on ad hoc approaches. Our approach is to integrate the recently published industrial standard graphic notation UML (Unified Modeling Language), for object-oriented modeling, and PVS...
متن کاملFormalizing the Use of UML in Require- ment Analysis
The Unified Modelling Language (UML) is now widely used for modelling a software at different stages: requirement analysis, design and implementation, during the system development. This work attempts to develop a method to support the formal use of UML in object-oriented software development. The method will include formal definitions of the modelling units in UML which can be used to relate t...
متن کاملA Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value to the organization both as a source of explicit knowledge and to systems development and maintenance. We propose a framework aimed at making domain knowledge embedded in software explicit. The framework is based on identi...
متن کاملFormalization of UML Statechart Models Using Concurrent Regular Expressions
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current version of UML is semi-formal, it is difficult to determine whether the model is consistent, unambiguous, or complete. This paper proposes the transformation rules for formalizing UML statechart diagrams. The target languag...
متن کاملA methodology to measure the software process
This paper proposes a method to measure the software process that is based on a model of the software process. Object oriented concepts and techniques are used to build the model, measures are defined as an extension of the model. The method consists of 1) modelling the software process using an object oriented formalism, 2) defining goals for the project, 3) formalizing goals in process measur...
متن کامل