Integrating a formal specification course with a software projects course via an editing tool

1995 ◽  
Vol 27 (1) ◽  
pp. 312-316
Author(s):  
R. F. Gamble
Keyword(s):  
Formal Specification ◽  
Software Projects

An Integrated Approach to Design Patterns Formalization

2011 ◽  
pp. 1-19 ◽  
Author(s):  
Toufik Taibi
Keyword(s):  
Formal Specification ◽  
Design Pattern ◽  
Design Patterns ◽  
Integrated Approach ◽  
Tool Support ◽  
Software Projects ◽  
Design Problems ◽  
Time To Market ◽  
Correct Usage ◽  
Pattern Specification

A Design pattern describes a set of proven solutions for a set of recurring design problems that occur within a context. As such, reusing patterns improves both quality and time-to-market of software projects. Currently, most patterns are specified in an informal fashion, which gives rise to ambiguity, and limits tool support and correct usage. This chapter describes balanced pattern specification language (BPSL), a language intended to accurately describe patterns in order to allow rigorous reasoning about them. BPSL incorporates the formal specification of both structural and behavioral aspects of patterns. Moreover, it can formalize pattern composition and instances of patterns (possible implementations of a given pattern).

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

Editorial: controlling software projects

1986 ◽  
Vol 1 (1) ◽  
pp. 2
Author(s):  
B.A. Kitchenham
Keyword(s):  
Software Projects
Sign in / Sign up

Export Citation Format

Share Document