ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Formal specification of a prolog compiler
Programming Languages Implementation and Logic Programming - Lecture Notes in Computer Science
◽
10.1007/3-540-50820-1_52
◽
1989
◽
pp. 273-282
◽
Cited By ~ 2
Author(s):
Michael Hanus
Keyword(s):
Formal Specification
Download Full-text
Related Documents
Cited By
References
Formal Specification and Design
10.1017/cbo9780511569777
◽
1992
◽
Cited By ~ 17
Author(s):
L. M. G. Feijs
◽
H. B. M. Jonkers
Keyword(s):
Formal Specification
Download Full-text
Editorial: The formal specification of interactive systems
Software Engineering Journal
◽
10.1049/sej.1996.0042
◽
1996
◽
Vol 11
(6)
◽
pp. 322
◽
Cited By ~ 1
Author(s):
M.D. Harrison
Keyword(s):
Formal Specification
◽
Interactive Systems
Download Full-text
Information technology. Z formal specification notation. Syntax, type system and semantics
10.3403/02620581
◽
2002
◽
Keyword(s):
Information Technology
◽
Formal Specification
◽
Type System
Download Full-text
Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986
10.21236/ada226984
◽
1986
◽
Author(s):
William T. Mayfield
◽
John Chludzinski
◽
John McHugh
◽
Stephen R. Welke
Keyword(s):
North Carolina
◽
Formal Specification
◽
Research Triangle
◽
Trade Name
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Formal Specification and Verification of Concurrent Programs
10.21236/ada265201
◽
1993
◽
Cited By ~ 2
Author(s):
Daniel M. Berry
Keyword(s):
Formal Specification
◽
Concurrent Programs
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Application of Formal Specification to Software Maintenance.
10.21236/ada311137
◽
1990
◽
Cited By ~ 2
Author(s):
Neel Madhav
◽
Sriram Sankar
Keyword(s):
Formal Specification
◽
Software Maintenance
Download Full-text
The Use of Formal Specification of Software
10.1007/978-3-642-67881-3
◽
1980
◽
Cited By ~ 1
Keyword(s):
Formal Specification
Download Full-text
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development -
◽
10.1145/99569.99814
◽
1990
◽
Cited By ~ 4
Author(s):
Jonathan Jacky
Keyword(s):
Control System
◽
Formal Specification
Download Full-text
An environment for Ada software development based on formal specification
ACM SIGAda Ada Letters
◽
10.1145/24645.24651
◽
1987
◽
Vol VII
(3)
◽
pp. 94-106
◽
Cited By ~ 3
Author(s):
D C Luckham
◽
R Neff
◽
D S Rosenblum
Keyword(s):
Software Development
◽
Formal Specification
Download Full-text
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
◽
10.1109/icse-nier52604.2021.00009
◽
2021
◽
Author(s):
Atif Mashkoor
◽
Michael Leuschel
◽
Alexander Egyed
Keyword(s):
Formal Specification
◽
Novel Approach
◽
Check Compliance
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close