Paper Info
Title
Designing Functional Specifications for Complex Systems.
Abstract
For designing complex and sociotechnical System that strongly interact with humans e.g., a ship is a large sociotechnical system. systems, designers are in charge of the functional specification because they have an operational expert knowledge. However, these experts do not usually master the programming knowledge of those who design supervision systems. Complex and sociotechnical systems include supervision systems which comprise monitoring interfaces and associated control codes. In this paper we propose an approach that facilitates functional specification of supervision systems. This approach aims at exploiting Example Based Programming EBP to propose a specification tool, which contains a generalization module and an interface generation module. Our tool allows experts who are acting as non-professional software developers to describe high level system functional services from elementary services. These functional services contain elementary interactions and configuration data. Thus, the expert, involved in coding, avoids a lot of errors related to the interpretation of the functional specifications. Our aim is to capture expert knowledge on the system being designed in order to have verified and validated functional specifications, without having to train experts in formal methods.
Year
DOI
Venue
2016
10.1007/978-3-319-39510-4_16
HCI
Field
DocType
Citations 
Complex system,Model-driven architecture,Computer science,Coding (social sciences),Programming knowledge,Human–computer interaction,Software,Sociotechnical system,Formal methods,Functional specification
Conference
1
PageRank 
References 
Authors
0.40
10
7
Name
Order
Citations
PageRank
Olga Goubali121.78
Patrick Girard2688.90
Laurent Guittet3329.37
Alain Bignon463.27
Djamal Kesraoui511.07
Pascal Berruet6209.27
Jean-Frédéric Bouillon710.40