Paper Info
Title
TROM - An Object Model for Reactive System Development
Abstract
This paper introduces and illustrates the use of TROM based methodology for formally specifying and reasoning about complex realtime reactive systems. The methodology provides a means to structure system specifications into independent, modular, and reusable components, thereby making the specification to be beneficial for system design and maintenance. The underlying formal semantics of TROM facilitates validation and formal verification of system requirements.
Year
DOI
Venue
1995
10.1007/3-540-60688-2_55
ASIAN
Keywords
Field
DocType
reactive system development,object model,formal semantics,formal verification,system design,reactive system
Programming language,Computer science,Object model,Systems design,Formal methods,Modular design,System requirements,Reactive system,Semantics of logic,Formal verification
Conference
ISBN
Citations 
PageRank 
3-540-60688-2
0
0.34
References 
Authors
8
3
Name
Order
Citations
PageRank
Ramesh Achuthan141.45
Vangalur S. Alagar216439.10
Thiruvengadam Radhakrishnan311732.44