ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
GRIT-an extended REFINE for more executable specifications
Proceedings of 8th Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1993.341207
◽
2002
◽
Cited By ~ 2
Author(s):
P. Bailes
◽
M. Chapman
◽
M. Gong
◽
I. Peake
Keyword(s):
Executable Specifications
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 2
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
◽
Cited By ~ 6
Author(s):
Holger Giese
◽
Florian Klein
Keyword(s):
Multi Agent Systems
◽
Agent Systems
◽
Executable Specifications
◽
Multi Agent
Download Full-text
Extreme Product Line Engineering: Managing Variability and Traceability via Executable Specifications
2009 Agile Conference
◽
10.1109/agile.2009.12
◽
2009
◽
Cited By ~ 9
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
◽
Cited By ~ 4
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
◽
Cited By ~ 1
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
◽
Cited By ~ 18
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
◽
Cited By ~ 3
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
◽
High Level
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
◽
Cited By ~ 1
Author(s):
Marvin V. Zelkowitz
◽
Sergio Cardenas
Keyword(s):
Executable Specifications
◽
System Maintenance
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close