WSN Design and Verification Using On-Board Executable Specifications

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2018.2840534 ◽

2019 ◽

Vol 15 (2) ◽

pp. 710-718 ◽

Author(s):

Salvatore Gaglio ◽

Giuseppe Lo Re ◽

Gloria Martorella ◽

Daniele Peri

Keyword(s):

Executable Specifications

Download Full-text

Using memorization to achieve polynomial complexity of purely functional executable specifications of non-deterministic top-down parsers

ACM SIGPLAN Notices ◽

10.1145/181761.181764 ◽

1994 ◽

Vol 29 (4) ◽

pp. 23-30 ◽

Author(s):

R. A. Frost

Keyword(s):

Polynomial Complexity ◽

Top Down ◽

Executable Specifications

Download Full-text

Systematic verification of multi-agent systems based on rigorous executable specifications

International Journal of Agent-Oriented Software Engineering ◽

10.1504/ijaose.2007.013264 ◽

2007 ◽

Vol 1 (1) ◽

pp. 28 ◽

Author(s):

Holger Giese ◽

Florian Klein

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Executable Specifications ◽

Download Full-text

Extreme Product Line Engineering: Managing Variability and Traceability via Executable Specifications

2009 Agile Conference ◽

10.1109/agile.2009.12 ◽

2009 ◽

Author(s):

Yaser Ghanam ◽

Frank Maurer

Keyword(s):

Product Line ◽

Product Line Engineering ◽

Executable Specifications ◽

Line Engineering

Download Full-text

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_10 ◽

2013 ◽

pp. 139-154 ◽

Author(s):

Jean-Baptiste Jeannin ◽

Guido de Caso ◽

Juan Chen ◽

Yuri Gurevich ◽

Prasad Naldurg ◽

...

Keyword(s):

Executable Specifications

Download Full-text

Towards Executable Specifications for Case Management Processes

Advances in Intelligent Process-Aware Information Systems - Intelligent Systems Reference Library ◽

10.1007/978-3-319-52181-7_3 ◽

2017 ◽

pp. 49-77 ◽

Author(s):

Irina Rychkova ◽

Bénédicte Le Grand ◽

Carine Souveyet

Keyword(s):

Case Management ◽

Executable Specifications ◽

Management Processes

Download Full-text

Using Executable Specifications for Prototyping System-Design Processes

Berichte des German Chapter of the ACM - Requirements Engineering ’93: Prototyping ◽

10.1007/978-3-322-94703-1_10 ◽

1993 ◽

pp. 135-145

Author(s):

Claus Hoffmann ◽

Burhan Dinler

Keyword(s):

System Design ◽

Design Processes ◽

Executable Specifications

Download Full-text

Executable Specifications of P Systems

Membrane Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31837-8_7 ◽

2005 ◽

pp. 126-145 ◽

Author(s):

Oana Andrei ◽

Gabriel Ciobanu ◽

Dorel Lucanu

Keyword(s):

P Systems ◽

Executable Specifications

Download Full-text

Executable Specifications of Safety-Critical Systems with S#

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2015.06.471 ◽

2015 ◽

Vol 48 (7) ◽

pp. 44-49 ◽

Author(s):

Axel Habermaier ◽

Johannes Leupolz ◽

Wolfgang Reif

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Executable Specifications ◽

Safety Critical Systems

Download Full-text

Towards high-level executable specifications of heterogeneous systems with SystemC-AMS: application to a Manycore PCR-CE lab on chip for DNA sequencing

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0154 ◽

2010 ◽

Author(s):

F. Pe^cheux ◽

A. Habib

Keyword(s):

Dna Sequencing ◽

Heterogeneous Systems ◽

Lab On Chip ◽

Executable Specifications ◽

On Chip ◽

Download Full-text

The role for executable specifications in system maintenance

Information Sciences ◽

10.1016/0020-0255(91)90086-a ◽

1991 ◽

Vol 57-58 ◽

pp. 347-359 ◽

Author(s):

Marvin V. Zelkowitz ◽

Sergio Cardenas

Keyword(s):

Executable Specifications ◽

System Maintenance

Download Full-text