An executable subset of VDM-SL in an SA/RT framework
暂无分享,去创建一个
[1] Mikko Levanto,et al. Solution in software crisis , 1990 .
[2] Peter Gorm Larsen,et al. An Executable Subset of Meta-IV with Loose Specification , 1991, VDM Europe.
[3] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[4] Cliff B. Jones,et al. Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.
[5] Peter Gorm Larsen,et al. Making specifications executable - Using IPTES Meta-IV , 1992, Microprocess. Microprogramming.
[6] Paul Ward,et al. Structured Development for Real-Time Systems , 1986 .
[7] H.-P. Gisiger,et al. Execution of Ward's transformation schema on the graphic specification and prototyping tool specs , 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.
[8] Mauro Pezzè,et al. Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.
[9] Petri Pulli,et al. IPTES - Incremental Prototyping Technology for Embedded real-time Systems , 1992, Microprocess. Microprogramming.
[10] Paul T. Ward,et al. The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.
[11] Jarmo Kalaoja,et al. Sokrates-SA - A formal method for specifying real-time systems , 1989 .