Algebraic Specification Techniques and Tools for Software Development: The Act Approach

10.1142/1877 ◽  
1993 ◽  
Author(s):  
Ingo Claβen ◽  
Hartmut Ehrig ◽  
Dietmav Wolz
Keyword(s):  
Software Development ◽  
Algebraic Specification ◽  
Specification Techniques

scholarly journals Jogo para apoio ao ensino-aprendizagem de especificação de requisitos

2020 ◽  
Author(s):  
João Vitor Demaria Venâncio ◽  
Fabiane Barreto Vavassori Benitti
Keyword(s):  
Software Development ◽  
Requirements Engineering ◽  
Software Design ◽  
Development Process ◽  
Process Research ◽  
Requirements Specification ◽  
Software Requirements ◽  
Software Development Process ◽  
Mobile Game ◽  
Specification Techniques

Requirements Engineering is concerned with identifying, analyzing,documenting and managing software requirements, which is an importantphase in the software development process. Research showsthat most software design failures are due to requirements engineeringissues. Thus, we propose a solution for the active learningof requirements specification techniques. Considering that the userstory technique is currently well accepted by IT companies, thispaper proposes a mobile game that supports learning and practicein writing user stories.

COOAD: A CASE TOOL FOR OBJECT-ORIENTED ANALYSIS AND DESIGN

1995 ◽  
Vol 05 (03) ◽  
pp. 367-389
Author(s):  
JUNICHI YAMAMOTO ◽  
AKIHIKO OHSUGA ◽  
SHINICHI HONIDEN
Keyword(s):  
Software Development ◽  
Object Oriented ◽  
Experimental System ◽  
Case Tools ◽  
Case Tool ◽  
Development Method ◽  
Analysis And Design ◽  
Object Oriented Methods ◽  
Specification Techniques ◽  
Object Oriented Analysis

Although many CASE tools for object-oriented methods (OO CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propose a software development method amalgamating OO CASE tools and algebraic specification techniques. We are developing an experimental system named COOAD (CASE tool for Object-Oriented Analysis and Design) in order to examine the effectiveness of our proposition. COOAD supports object-oriented analysis and design, verification of the analysis and design, and generation of code. In this paper, we propose the software development method, introduce COOAD, and illustrate the facilities of COOAD with an example.

Sign in / Sign up

Export Citation Format

Share Document