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 ...
Formal methods are necessary in achieving correct software: that is, software that can be proven to ...
As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental ...
The practice of software development has evolved considerably in recent decades, with new programmin...
Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [...
Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [...
. We describe a software development process designed for an integration and usage of formal method...
Abstract. Have you ever tried to specify an accurate development process for your organization and l...
Software Development is a complex and often difficult process requiring the synthesis of many discip...
This paper deals with software process support system. Software artifacts and software processes are...
Design is a first step in the development phase for any engineered product or system. It is defined ...
Systematic formulation of software process models is currently a challenging problem in software eng...
The software process landscape is rich in complexity and many alternative software development appro...
The software process landscape is rich in complexity and many alternative software development appro...
Abstract. In software development, there is an interplay between Software Process models and Softwar...
Cost-effective realization of robust, adaptable and reusable software systems demands efficient and ...
Formal methods are necessary in achieving correct software: that is, software that can be proven to ...
As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental ...
The practice of software development has evolved considerably in recent decades, with new programmin...
Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [...
Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [...
. We describe a software development process designed for an integration and usage of formal method...
Abstract. Have you ever tried to specify an accurate development process for your organization and l...
Software Development is a complex and often difficult process requiring the synthesis of many discip...
This paper deals with software process support system. Software artifacts and software processes are...
Design is a first step in the development phase for any engineered product or system. It is defined ...
Systematic formulation of software process models is currently a challenging problem in software eng...
The software process landscape is rich in complexity and many alternative software development appro...
The software process landscape is rich in complexity and many alternative software development appro...
Abstract. In software development, there is an interplay between Software Process models and Softwar...
Cost-effective realization of robust, adaptable and reusable software systems demands efficient and ...
Formal methods are necessary in achieving correct software: that is, software that can be proven to ...
As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental ...
The practice of software development has evolved considerably in recent decades, with new programmin...