Add to ORKGThis paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri Net and VDM-SL. An On-Board Automation Systems is used to demonstrate how the two techniques work. Also, the differences between the two techniques is discussed, specifically with respect to the requirement in informal and semi-formal specifications
Requirements capture has been acknowledged as a critical phase of software development, precisely b...
Abstract. Industrial safety-related standards strongly recommend the use of formal methods to contro...
UML supports requirements modeling by means of ``use case'' diagrams. Unfortunately, use cases suff...
Safely rcquircmcnis of safely critical technical systems are a demanding subset of requirements thai...
SOFL approach to the construction of the formal specifications has been proposed and applied in info...
Abstract — Formal Methods are necessary for the specification, development and verification of safet...
This paper presents an approach to capturing safety properties for safety critical systems using th...
Requirements Engineering (RE) plays an essential role in software project success. RE illustrate sys...
It is common practice to write English-language "shall" statements to embody detailed software requi...
Colloque avec actes et comité de lecture. internationale.International audienceIt is essential to wr...
This paper is towards the development of a methodology for object-oriented software development. The...
Abstract. In this paper, we consider a way of bridging informal and formal specification. Most proje...
In this paper, we consider a way of bridging informal and formal specification. Most projects have ...
Software-intensive systems-of-systems (SoS) refer to an arrangement of managerially and operationall...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
Requirements capture has been acknowledged as a critical phase of software development, precisely b...
Abstract. Industrial safety-related standards strongly recommend the use of formal methods to contro...
UML supports requirements modeling by means of ``use case'' diagrams. Unfortunately, use cases suff...
Safely rcquircmcnis of safely critical technical systems are a demanding subset of requirements thai...
SOFL approach to the construction of the formal specifications has been proposed and applied in info...
Abstract — Formal Methods are necessary for the specification, development and verification of safet...
This paper presents an approach to capturing safety properties for safety critical systems using th...
Requirements Engineering (RE) plays an essential role in software project success. RE illustrate sys...
It is common practice to write English-language "shall" statements to embody detailed software requi...
Colloque avec actes et comité de lecture. internationale.International audienceIt is essential to wr...
This paper is towards the development of a methodology for object-oriented software development. The...
Abstract. In this paper, we consider a way of bridging informal and formal specification. Most proje...
In this paper, we consider a way of bridging informal and formal specification. Most projects have ...
Software-intensive systems-of-systems (SoS) refer to an arrangement of managerially and operationall...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
Requirements capture has been acknowledged as a critical phase of software development, precisely b...
Abstract. Industrial safety-related standards strongly recommend the use of formal methods to contro...
UML supports requirements modeling by means of ``use case'' diagrams. Unfortunately, use cases suff...