Add to ORKGCurrent state-of-the-art methods and specification languages devised for software design have not yet accomplished a completely satisfactory calculus of formal rules enabling a smooth, deductive style of software development
Combining formal and agile techniques in software development has the potential to minimize change-r...
Abstract. There is a broad use of the term “paradigm ” in Software Engineering. Concepts such as str...
What is software and software engineering? Software can be viewed as a part of a system solution tha...
In the methodology for the development of correct software by transformation, each development step ...
In this paper, we identify and analyze a set of characteristics that increasinglydistinguish today’s...
Rogers characterises engineering as: ... the practice of organising the design and construction of a...
Abstract. This is a critical assessment of some of the new paradigms of software engineering. The Un...
The word paradigm is used, defined and re-defined in many disciplines (including software engineerin...
Combining formal and agile techniques in software development has the potential to minimize change-r...
The program transformation methodology can provide valuable techniques and tools for the development...
A Programming Paradigm is the silent intelligence in any software design. Although many Programming ...
Software evolution, iterative, and agile development represent a fundamental departure from the prev...
AbstractAlgebraic specification and transformational programming have been advocated as new approach...
© 2013, IGI Global. By consideration of scientific paradigm shifts, in this chapter the authors eval...
Traditional programming calculi focus on transforming a speci cation into a program. With the advent...
Combining formal and agile techniques in software development has the potential to minimize change-r...
Abstract. There is a broad use of the term “paradigm ” in Software Engineering. Concepts such as str...
What is software and software engineering? Software can be viewed as a part of a system solution tha...
In the methodology for the development of correct software by transformation, each development step ...
In this paper, we identify and analyze a set of characteristics that increasinglydistinguish today’s...
Rogers characterises engineering as: ... the practice of organising the design and construction of a...
Abstract. This is a critical assessment of some of the new paradigms of software engineering. The Un...
The word paradigm is used, defined and re-defined in many disciplines (including software engineerin...
Combining formal and agile techniques in software development has the potential to minimize change-r...
The program transformation methodology can provide valuable techniques and tools for the development...
A Programming Paradigm is the silent intelligence in any software design. Although many Programming ...
Software evolution, iterative, and agile development represent a fundamental departure from the prev...
AbstractAlgebraic specification and transformational programming have been advocated as new approach...
© 2013, IGI Global. By consideration of scientific paradigm shifts, in this chapter the authors eval...
Traditional programming calculi focus on transforming a speci cation into a program. With the advent...
Combining formal and agile techniques in software development has the potential to minimize change-r...
Abstract. There is a broad use of the term “paradigm ” in Software Engineering. Concepts such as str...
What is software and software engineering? Software can be viewed as a part of a system solution tha...