Abstract | ||
---|---|---|
This paper presents an overview of a process model and an object-oriented environment that supports the process model, for the development of complex real-time reactive systems described using the timed reactive object model. The environment includes an animation tool consisting of a graphical user interface, an interpreter and a simulator, as well as an axiom generator and a verification manager. Debugging, simulating the consequences of exercising a computational step, and verifying invariant properties of an evolving design at different stages of the design process are all permitted |
Year | DOI | Venue |
---|---|---|
1996 | 10.1109/ICECCS.1996.558410 | Montreal, Que. |
Keywords | Field | DocType |
different stage,process model,complex real-time reactive system,timed reactive object model,object-oriented environment,axiom generator,design process,computational step,animation tool,graphical user interface,animating real-time reactive systems,interpreter,computer science,fault detection,computer animation,formal methods,real time,debugging,object model,object oriented,real time systems,reactive system,animation,graphic user interface,graphical user interfaces,computational modeling,simulator,software requirements specification,object oriented programming,history,simulation | Programming language,Computer science,Object model,Real-time computing,Graphical user interface,Engineering design process,Animation,Formal methods,User interface,Reactive system,Debugging | Conference |
ISBN | Citations | PageRank |
0-8186-7614-0 | 4 | 0.64 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
V. S. Alagar | 1 | 15 | 2.83 |
D Muthiayen | 2 | 12 | 3.31 |
Achuthan, R. | 3 | 4 | 0.64 |