WFRF:(Rodriguez Navas Guillermo)
Search: WFRF:(Rodriguez Navas Guillermo) > (2015-2019) > Integrating Pattern...
- 7 of 31
- Previous record
- Next record
- To hitlist
Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain
-
- Filipovikj, Predrag (author)
- Mälardalens högskola,Inbyggda system
-
- Jagerfield, Trevor (author)
- Mälardalens högskola
-
- Nyberg, Mattias (author)
- Scania, Södertälje, Sweden
- show more...
- show less...
- (creator_code:org_t)
- 2016
- 2016
- English.
- In: PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2<em></em>. - 9781467388450 ; , s. 167-173
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- The lack of formal system specifications is a major obstacle to the widespread adoption of formal verification techniques in industrial settings. Specification patterns represent a promising approach that can fill this gap by enabling non-expert practitioners to write formal specifications based on reusing solutions to commonly occurring problems. Despite the fact that the specification patterns have been proven suitable for specification of industrial systems, there is no engineer-friendly tool support adequate for industrial adoption. In this paper, we present a tool called SESAMM Specifier in which we integrate a subset of the specification patterns for formal requirements specification, called SPS, into an existing industrial tool-chain. The tool provides the necessary means for the formal specification of system requirements and the later validation of the formally expressed behavior.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
- PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE ... (Search for host publication in LIBRIS)
To the university's database
- 7 of 31
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Filipovikj, Pred ...
- Jagerfield, Trev ...
- Nyberg, Mattias
- Rodriguez-Navas, ...
- Seceleanu, Crist ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- PROCEEDINGS 2016 ...
- By the university
- Mälardalen University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
