Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 156-167, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
1 | Vangalur S. Alagar, Ralf Lämmel |
Three-Tiered Specification of Micro-architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 92-97, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures |
1 | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban |
M2Z: A Tool for Translating a Natural Language Software Specification into Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 406-410, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal methods, machine translation, Z, linguistic |
1 | Hong Mei 0001, Feng Chen, Qianxiang Wang, Yao-Dong Feng |
ABC/ADL: An ADL Supporting Component Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 38-47, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Developing Quality Software Systems Using the SOFL Formal Engineering Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 3-19, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Using Transition Systems to Unify UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 535-547, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Conceptual model, Transition systems, Use-case model |
1 | Chris George, Huaikou Miao (eds.) |
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![Springer, 3-540-00029-1 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, Huaikou Miao, Xiaolei Gao |
A Specification-Based Software Construction Framework for Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 69-79, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick |
Abstract Specification in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 108-119, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zaobin Gan, Chuanbo Chen, Xiandeng Pei |
A Requirements Description Model Based on Conditional Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 583-587, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Arthur P. Hughes |
Unifying Theories of Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 24-37, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juha Plosila, Tiberiu Seceleanu |
Specification of an Asynchronous On-chip Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 383-395, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury |
Formal Reasoning about Hardware and Software Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 423-434, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gafurov Davrondjon, Tomasz Janowski |
Developing a Spell-Checker for Tajik Using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 401-405, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 |
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 600-612, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Jin Song Dong |
An Overview of Mobile Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 144-155, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard Jüllig |
Formal Methods in Enterprise Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 22-23, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Muan Yong Ng, Michael J. Butler |
Tool Support for Visualizing CSP in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 287-298, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, CSP, class diagram, state diagram |
1 | Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt |
Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 103-107, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Wrapper/Glue Code, Formal Specification, Two-Level Grammar, Domain Specific Knowledge |
1 | Alvaro E. Arenas |
An Abstract Model for Scheduling Real-Time Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 204-215, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Program Verification, Real-time Programming |
1 | Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo |
Formal Analysis of Real-Time Systems with SAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 275-286, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model, Real-time system, Petri net, temporal logic, analysis, SAM |
1 | Ali E. Abdallah, Mark Green |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 189-198, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms |
1 | Arun Venkataraman, Murali Rangarajan, Perry Alexander |
Composing Specifications in VSPEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 45-56, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacColl, David A. Carrington |
Translating UAN into CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 121-132, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Mechanical Verification of Transaction Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 89-100, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ali E. Abdallah |
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 157-168, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
filter promotion, parallelism, Specification, program transformation, refinement, communicating processes, accumulation |
1 | Werner Damm |
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 153, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
The Use of Mathematics in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 1, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu |
An Animatable Operational Semantics of the Verilog Hardware Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 199-208, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chris Taylor, John Derrick, Eerke A. Boiten |
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 177-188, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Jmaiel |
A Unified Algebraic Framework for Specifying Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 57-66, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification |
1 | C. A. R. Hoare |
Legacy Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 75, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith |
ClawZ: Control Laws in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 169-176, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Requet, Gaëlle Bossu |
Embedding Formally Proved Code in a Smart Card: Converting B to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 15-24, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Toomas P. Plaks |
Formal Derivation of Multilayered Hardware/Software Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 5-14, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michihiro Matsumoto, Kokichi Futatsugi |
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 35-44, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | |
3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![IEEE Computer Society, 0-7695-0822-7 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 25-34, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Maximally Abstract Retrenchments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 133-142, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael Poppleton |
Fragmented Retrenchment, Concurrency and Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 143-152, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Tamai |
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 67-74, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Pons, Gabriel Baum |
Formal Foundations of Object-Oriented Modeling Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 101-110, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Grieskamp, Markus Lepper 0001 |
Using Use Cases in Executable Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 111-120, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hong Peng, Sofiène Tahar, Ferhat Khendek |
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 79-88, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu |
Proving Inductive Theorems Using Witnessed Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 158-164, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Brendan P. Mahony |
Active Objects in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 16-25, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John A. McDermid, Andy Galloway, Simon Burton 0001, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine |
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 76-89, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
Interacting Frameworks in Catalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 110-121, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | |
Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![IEEE Computer Society, 0-8186-9198-0 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Luiz A. Paula Lima Jr., Ana R. Cavalli |
Application of Embedded Testing Methods to Service Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 212-221, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paul Ammann, Paul E. Black, William Majurski |
Using Model Checking to Generate Tests from Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 46-55, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
Specification-Based Class Testing: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 222-233, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin Büchi |
The B Bank: A Complete Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 190-199, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gordon A. Rose |
From Monolithic to Modular Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 122-133, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 176-179, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Keijiro Araki |
A Calculus Based on the Agent-Place Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 56-63, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Conrad, Dieter Hötzer |
Selective Integration of Formal Methods in the Development of Electronic Control Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 144-157, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy, Ingolf Krüger |
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 2-15, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Kreuz |
Formal Specification of CORBA Services Using Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 180-189, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Tronci |
Automatic Synthesis of Controllers from Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 134-143, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Waeselynck, Salimeh Behnia |
B Model Animation for External Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 36-45, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers |
A Process Algebra Based Verification of a Production System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 90-99, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
Defining Differentiation and Integration in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 64-75, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0001, Jiacun Wang, Rakesh Sinha |
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 26-35, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | N. Petalidis, D. S. Gill |
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 200-211, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jason McDonald, Paul A. Strooper |
Translating Object-Z Specifications to Passive Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 165-175, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo |
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 100-109, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack |
Hybrid Object-Oriented Real-Time Software Development with VDM++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 17-27, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard L. Ford, William R. Bevier, Richard T. Simon, Lawrence M. Smith |
The Specification-Based Testing of a Trusted Kernel: MK++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 151-160, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Sandro Morasca |
Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 315-, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Michael Luck |
Development and Application of a Formal Agent Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 222-231, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Parissis |
A Formal Approach to Testing LUSTRE Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 91-100, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kokichi Futatsugi, Ataru T. Nakagawa |
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 170-182, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Scholz, Carsta Petersohn |
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 28-37, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henri Habrias, B. Griech |
Formal Specification of Dynamic Constraints with the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 304-314, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Kemmerer |
Formally Specifying and Verifying Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 112-121, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 213-221, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Lattemann, Egbert Lehmann |
A Methodological Approach to the Requirement Specification of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 183-191, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andy Galloway, Bill Stoddart |
An Operational Semantics for ZCCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 272-282, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
Formal Automatic Verification of Authentication Crytographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 50-59, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick |
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 293-303, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Whither Formal Methods: A Plea to Investigate New Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 5-, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
Specification and Analysis of System Level Inter-Component Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 192-202, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok |
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 263-271, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jan Philipps, Bernhard Rumpe |
Refinement of Information Flow Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 203-212, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Lindsay, David Hemer |
Using CARE to Construct Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 122-131, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Keijiro Araki |
The State-Based CCS Semantics for Concurrent Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 283-292, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![IEEE Computer Society, 0-8186-8002-4 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena |
Towards a Rigorous Object-Oriented Analysis and Design Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 7-16, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Geppert, Frank Rößler |
Generic Engineering of Communication Protocols - Current Experience and Future Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 70-80, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton |
Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 161-169, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Mermet, Dominique Méry |
Incremental Specification of Telecommunication Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 60-69, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour |
Test Case Design Based on Z and the Classification-Tree Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 81-90, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lingzi Jin, Hong Zhu 0002 |
Automatic Generation of Formal Specification from Requirements Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 243-251, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jinyun Xue, Ruth Davis |
A Simple Program whose Derivation and Proof is Also. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 132-139, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Daniel M. Berry, M. Weber |
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 38-49, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Cyrluk, John M. Rushby, Mandayam K. Srivas |
Systematic Formal Verification of Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 140-150, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer |
CASTING: A Formally Based Software Test Generation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 101-111, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
A Generic Approach to the Formal Specification of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 252-262, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Milica Barjaktarovic |
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 232-242, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|