Daniel Prun
YOU?
Author Swipe
View article: Formal Verification of Graphical Properties of Interactive Systems
Formal Verification of Graphical Properties of Interactive Systems Open
Critical systems, particularly aeronautical systems, contain newly highly interactive devices: for example, the new generation cockpits use sophisticated electronics. They are driven by complex reactive software applications able to react …
View article: A Controlled Experiment on using Cognitive Work Analysis for System Engineering definition process
A Controlled Experiment on using Cognitive Work Analysis for System Engineering definition process Open
This paper describes an experiment about the relevance of using Cognitive Work Analysis (CWA) to improve the system definition process. CWA is a method for analyzing complex sociotechnical systems from a cognitive point of view. We submitt…
View article: Overcoming Challenges on an International Project to Advance Systems Engineering
Overcoming Challenges on an International Project to Advance Systems Engineering Open
The Body of Knowledge and Curriculum to Advance Systems Engineering (BKCASE) project's dual product development cycle spanned a three‐year period from the September 2009 to December, 2012. During this timeframe, BKCASE authors met quarterl…
View article: Djnn/Smala
Djnn/Smala Open
The persistent difficulty to develop and maintain interactive software has unveiled the inadequacy of traditional imperative programming languages. In the recent years, several solutions have been proposed to enrich the existing languages …
View article: Designing, developing and verifying interactive components iteratively with djnn
Designing, developing and verifying interactive components iteratively with djnn Open
Introducing iterative user interface design methods into the development processes of safety-critical software creates technical and methodological challenges. This article describes a new programming paradigm aimed at addressing some of t…
View article: Verification of properties of interactive components from their executable code
Verification of properties of interactive components from their executable code Open
In this paper we describe how an executable model of interactive software can be exploited to allow programmers or specifiers to express properties that will be automatically checked on the components they create or reuse. The djnn framewo…
View article: Towards Support for Verification of Adaptative Systems with Djnn
Towards Support for Verification of Adaptative Systems with Djnn Open
Djnn is a general framework dedicated to the development of complex interactive systems. We describe ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models. The resu…