An Undergraduate Requirements Engineering Curriculum with Formal Methods

2018 ◽  
Author(s):  
Bernd Westphal
Keyword(s):  
Formal Methods ◽  
Requirements Engineering ◽  
Engineering Curriculum

DESIGN OF REDUNDANT FORMAL SPECIFICATIONS BY LOGIC PROGRAMMING: MERGING FORMAL TEXT AND GOOD COMMENTS

1994 ◽  
Vol 04 (03) ◽  
pp. 369-390
Author(s):  
SOPHIE RENAULT ◽  
PIERRE DERANSART
Keyword(s):  
Logic Programming ◽  
Formal Methods ◽  
Requirements Engineering ◽  
Design Method ◽  
Logic Program ◽  
Practical Experience ◽  
Formal Specifications ◽  
Promising Candidate ◽  
Rigorous Framework ◽  
Candidate Support

Among the various tasks involved in SE & KE, requirements engineering, specification, prototyping, and validation are regarded as crucial since they decide whether a software system fulfills the users’ expectations. Formal methods provide a rigorous framework to guaranteed. Logic Programming has been recently shown as a promising candidate support these tasks and some relevant features can be in that way captured and formally regarding these concerns. Nevertheless, formalism does need some explanation to let it be more readable and understandable. This paper focuses on a specification design method which mixes formal text (represented by a logic program) and comments (using either formal or informal assertions). By the design of a specification we refer to the intertwined tasks of describing the specification and improving it by the investigation of proofs. These proofs aim to verify the link between the specification and the comments, and are partly automated. Then we present our practical experience in the use of an interacti ve proof system. As an example, we show how this methodology is currently applied to the draft of standard Prolog.

Formal methods and requirements engineering: Challenges and synergies

1998 ◽  
Vol 40 (3) ◽  
pp. 263-273 ◽  
Author(s):  
Sara Jones ◽  
David Till ◽  
Ann M. Wrightson
Keyword(s):  
Formal Methods ◽  
Requirements Engineering

Integrating Requirements Engineering Techniques and Formal Methods

2005 ◽  
pp. 1555-1559 ◽  
Author(s):  
María Virginia Mauco ◽  
Daniel Riesco
Keyword(s):  
Formal Methods ◽  
Requirements Engineering ◽  
Formal Specification ◽  
Specification Language ◽  
Software Systems ◽  
Formal Development ◽  
Secure Software ◽  
Formal Specification Language

Formal methods help to develop more reliable and secure software systems, and they are increasingly being accepted by industry. The RAISE1 Method (George et al., 1995), for example, is intended for use on real developments, not just toy examples. This method includes a large number of techniques and strategies for formal development and proofs, as well as a formal specification language, the RAISE Specification Language (RSL) (George et al., 1992), and a set of tools (George et al., 2001).

Sign in / Sign up

Export Citation Format

Share Document