IEEE International Conference on Formal Engineering Methods
container_txp4q6ahmvcbdm2irheicf37oq
Showing first 25 out of 74 results
The Use of Mathematics in Software Engineering
no archive
David Lorge Parnas
2000
|
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.10001 dblp:conf/icfem/Parnas00
Refinement and verification of concurrent systems specified in Object-Z and CSP
G. Smith, J. Derrick
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630436 dblp:conf/icfem/SmithD97
Development and application of a formal agent framework
M. d'Inverno, M. Luck
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630429 dblp:conf/icfem/dInvernoL97
Towards industrially applicable formal methods: three small steps, and one giant leap
J. McDermid, A. Galloway, S. Burton, J. Clark, I. Toyn, N. Tracey, S. Valentine
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730572 dblp:conf/icfem/McDermidGBCTTV98
Translating UAN into CSP
I. MacColl, D. Carrington
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873812 dblp:conf/icfem/MacCollC00
A generic approach to the formal specification of requirements
C. Peper, R. Gotzhein, M. Kronenburg
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630432 dblp:conf/icfem/PeperGK97
Formally specifying and verifying real-time systems
R.A. Kemmerer, P.Z. Kolano
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630415 dblp:conf/icfem/Kemmerer97
Fragmented retrenchment, concurrency and fairness
R. Banach, M. Poppleton
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873814 dblp:conf/icfem/BanachP00
A pragmatic, rigorous integration of structural and behavioral modeling notations
D.M. Berry, M. Weber
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630396 dblp:conf/icfem/BerryW97
Ubiquitous abstraction: a new approach for mechanized formal verification
J. Rushby
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730581 dblp:conf/icfem/Rushby98
Test case design based on Z and the classification-tree method
H. Singh, M. Conrad, S. Sadeghipour
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630406 dblp:conf/icfem/SinghCS97
An animatable operational semantics of the Verilog hardware description language
J.P. Bowen, He Jifeng, Xu Qiwen
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873820 dblp:conf/icfem/BowenHX00
Maximally abstract retrenchments
R. Banach
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873813 dblp:conf/icfem/Banach00
Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts
M. Broy, I. Kruger
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730565 dblp:conf/icfem/BroyK98
B model animation for external verification
H. Waeselynck, S. Behnia
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730568 dblp:conf/icfem/WaeselynckB98
Formal foundations of object-oriented modeling notations
C. Pons, G. Baum
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873810 dblp:conf/icfem/PonsB00
Formal treatment of a family of fixed-point problems on graphs by CafeOBJ
T. Tamai
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873806 dblp:conf/icfem/Tamai00
Refinement of information flow architectures
J. Philipps, B. Rumpe
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1997.630427 dblp:conf/icfem/PhilippsR97
A process algebra based verification of a production system
J.J.T. Kleijn, J.E. Rooda, M.A. Reniers
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730573 dblp:conf/icfem/KleijnRR98
Embedding formally proved code in a smart card: converting B to C
A. Requet, G. Bossu
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873801 dblp:conf/icfem/RequetB00
Defining differentiation and integration in Z
C.J. Fidge, I.J. Hayes, B.P. Mahony
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730571 dblp:conf/icfem/FidgeHM98
Using use cases in Executable Z
W. Grieskamp, M. Lepper
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873811 dblp:conf/icfem/GrieskampL00
A case study in partial specification: consistency and refinement for Object-Z
C. Taylor, J. Derrick, E. Boiten
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.2000.873818 dblp:conf/icfem/TaylorDB00
Formal specification of CORBA services using Object-Z
no archive
D. Kreuz
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730582 dblp:conf/icfem/Kreuz98
Market-driven symbolic execution of models of manufacturing enterprises
no archive
T. Janowski, Z. Hongjun, G.G. Lugo
IEEE International Conference on Formal Engineering Methods
doi:10.1109/icfem.1998.730574 dblp:conf/icfem/JanowskiHL98
« Previous
Showing results 0 — 25 out of 74 results
Next »