Real-Time concepts for a formal specification language for software/hardware systems (original) (raw)
Related papers
Languages and methods for specifying real-time systems
2002
Specification of Real-Time Systems in UML
J. Van Katwijk, Ella Roubtsova
Electronic Notes in Theoretical Computer Science, 2000
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach
Embedding time granularity in a logical specification language for synchronous real-time systems
Science of Computer Programming, 1993
Fomal Specification Languages for Real-Time Systems
Specification of Realtime Systems
1997
Formal specification languages for real-time systems
2010 International Symposium on Information Technology, 2010
A Real-Time Programming Language as a Means to Express Specifications
IFAC Proceedings Volumes, 1996
Time concepts in real-time software
Control Engineering Practice, 1993
A formal method for specification and refinement of real-time systems
Carlos Delgado Kloos, Peter Breuer
Proc. 8'th EuroMicro Workshop on Real Time Systems, 1996
A Real-Time Specification Language
Formal Modelling Languages to Specify Real-Time Systems: A Survey
International Journal of Future Computer and Communication, 2013
A REAL-TIME PROGRAMMING LANGUAGE AS A MEANS OF EXPRESSING SPECIFICATIONS
Control Engineering Practice, 1997
Syntax and semantics of PRETSEL-a specification language for parallel real-time systems
1996
Just in time - a specification calculus for real time systems
Carlos Delgado Kloos, Jonathan Bowen, Peter Breuer
Proc. Software Engineering Research Forum, 1995
Time Interval Semantics and Implementation of a Real-Time Programming Language
def
A constraint-based approach for specification and verification of real-time systems
1997
A specification-oriented semantics for the refinement of real-time systems
1994
A Programming-Language Extension for Distributed Real-Time Systems
1996
Requirements specification of real-time systems: temporal parameters and timing-constraints
Information & Software Technology, 1996
Timing constraints of real-time systems: Constructs for expressing them
IEEE Transactions on Software Engineering, 1985
A practical approach to formal design of real-time systems
1996
An Operational Semantics and Compiler for Real-Time Specifications1
Integrated Computer-Aided Engineering
A Language for Formal Description of Real Time Systems
Safety of Computer Control Systems 1983 (Safecomp '83), 1983
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems* 1
Information Sciences, 1999
Just in Time: a new formal method for specification and refinement of real time processes
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems
2013
Juan A. Holgado-Terriza, Manuel I Capel
2005
A wide-spectrum language for object-based development of real-time systems
Information Sciences, 1999
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
IEEE Transactions on Software Engineering, 1982
A Semantic Model for the Specification of Real-Time Processes
1988