论文信息 - Using CASL to Specify the Requirements and the Design: A Problem Specific Approach

Using CASL to Specify the Requirements and the Design: A Problem Specific Approach

In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification and design of systems, and also to provide a framework for reusability. He thus identifies some particular frames, such as the translation frame (e.g., a compiler), the information system frame, the control frame (or reactive system frame), .... Each frame is described along three viewpoints that are application domains, requirements, and design.

Christine Choppy | Gianna Reggio

[1] Michael A. Jackson,et al. Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[2] Gianna Reggio,et al. Formalism and method , 2000, Theor. Comput. Sci..

[3] Maritta Heisel,et al. Specifying embedded systems with statecharts and Z: an agenda for cyclic software components , 2001, Sci. Comput. Program..

[4] Gianna Reggio,et al. Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach , 1997, Theor. Comput. Sci..

[5] Jean-Claude Royer,et al. From Informal Requirements to COOP: A Concurrent Automata Approach , 1999, World Congress on Formal Methods.

[6] Peter D. Mosses,et al. CoFI: The Common Framework Initiative for Algebraic Specification and Development , 2001, Current Trends in Theoretical Computer Science.

[7] M. Heisel. Agendas—a concept to guide software development activities , 1998 .

[8] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .