Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
1 | Vangalur S. Alagar, Ralf Lämmel |
Three-Tiered Specification of Micro-architectures. |
ICFEM |
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. |
ICFEM |
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. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Developing Quality Software Systems Using the SOFL Formal Engineering Method. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Using Transition Systems to Unify UML Models. |
ICFEM |
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 |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, Huaikou Miao, Xiaolei Gao |
A Specification-Based Software Construction Framework for Reuse. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick |
Abstract Specification in Object-Z and CSP. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zaobin Gan, Chuanbo Chen, Xiandeng Pei |
A Requirements Description Model Based on Conditional Directed Graphs. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Arthur P. Hughes |
Unifying Theories of Parallel Programming. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juha Plosila, Tiberiu Seceleanu |
Specification of an Asynchronous On-chip Bus. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury |
Formal Reasoning about Hardware and Software Memory Models. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gafurov Davrondjon, Tomasz Janowski |
Developing a Spell-Checker for Tajik Using RAISE. |
ICFEM |
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. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Jin Song Dong |
An Overview of Mobile Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Richard Jüllig |
Formal Methods in Enterprise Computing. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Muan Yong Ng, Michael J. Butler |
Tool Support for Visualizing CSP in UML. |
ICFEM |
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. |
ICFEM |
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. |
ICFEM |
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. |
ICFEM |
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. |
ICFEM |
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. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacColl, David A. Carrington |
Translating UAN into CSP. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Mechanical Verification of Transaction Processing Systems. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ali E. Abdallah |
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. |
ICFEM |
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. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
The Use of Mathematics in Software Engineering. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu |
An Animatable Operational Semantics of the Verilog Hardware Description Language. |
ICFEM |
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. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Jmaiel |
A Unified Algebraic Framework for Specifying Communication Protocols. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification |
1 | C. A. R. Hoare |
Legacy Code. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith |
ClawZ: Control Laws in Z. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Requet, Gaëlle Bossu |
Embedding Formally Proved Code in a Smart Card: Converting B to C. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Toomas P. Plaks |
Formal Derivation of Multilayered Hardware/Software Structures. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michihiro Matsumoto, Kokichi Futatsugi |
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | |
3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings |
ICFEM |
2000 |
DBLP BibTeX RDF |
|
1 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Maximally Abstract Retrenchments. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael Poppleton |
Fragmented Retrenchment, Concurrency and Fairness. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Tamai |
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Pons, Gabriel Baum |
Formal Foundations of Object-Oriented Modeling Notations. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Grieskamp, Markus Lepper 0001 |
Using Use Cases in Executable Z. |
ICFEM |
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. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu |
Proving Inductive Theorems Using Witnessed Test Sets. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Brendan P. Mahony |
Active Objects in TCOZ. |
ICFEM |
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. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
Interacting Frameworks in Catalysis. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | |
Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings |
ICFEM |
1998 |
DBLP BibTeX RDF |
|
1 | Luiz A. Paula Lima Jr., Ana R. Cavalli |
Application of Embedded Testing Methods to Service Validation. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paul Ammann, Paul E. Black, William Majurski |
Using Model Checking to Generate Tests from Specifications. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
Specification-Based Class Testing: A Case Study. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin Büchi |
The B Bank: A Complete Case Study. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gordon A. Rose |
From Monolithic to Modular Formal Specification. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Keijiro Araki |
A Calculus Based on the Agent-Place Model. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mirko Conrad, Dieter Hötzer |
Selective Integration of Formal Methods in the Development of Electronic Control Units. |
ICFEM |
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. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Kreuz |
Formal Specification of CORBA Services Using Object-Z. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Tronci |
Automatic Synthesis of Controllers from Formal Specifications. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Waeselynck, Salimeh Behnia |
B Model Animation for External Verification. |
ICFEM |
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. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
Defining Differentiation and Integration in Z. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yi Deng 0001, Jiacun Wang, Rakesh Sinha |
Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | N. Petalidis, D. S. Gill |
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jason McDonald, Paul A. Strooper |
Translating Object-Z Specifications to Passive Test Oracles. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo |
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. |
ICFEM |
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++. |
ICFEM |
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++. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Sandro Morasca |
Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark d'Inverno, Michael Luck |
Development and Application of a Formal Agent Framework. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Parissis |
A Formal Approach to Testing LUSTRE Specifications. |
ICFEM |
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. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Scholz, Carsta Petersohn |
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henri Habrias, B. Griech |
Formal Specification of Dynamic Constraints with the B Method. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Kemmerer |
Formally Specifying and Verifying Real-Time Systems. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi, Alan Wills |
Frameworks in Catalysis: Pictorial Notation and Formal Semantics. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Lattemann, Egbert Lehmann |
A Methodological Approach to the Requirement Specification of Embedded Systems. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andy Galloway, Bill Stoddart |
An Operational Semantics for ZCCS. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
Formal Automatic Verification of Authentication Crytographic Protocols. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, John Derrick |
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
Whither Formal Methods: A Plea to Investigate New Applications. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
Specification and Analysis of System Level Inter-Component Communication. |
ICFEM |
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. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jan Philipps, Bernhard Rumpe |
Refinement of Information Flow Architectures. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Lindsay, David Hemer |
Using CARE to Construct Verified Software. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Taguchi 0001, Keijiro Araki |
The State-Based CCS Semantics for Concurrent Z Specification. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings |
ICFEM |
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. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Geppert, Frank Rößler |
Generic Engineering of Communication Protocols - Current Experience and Future Issues. |
ICFEM |
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. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Mermet, Dominique Méry |
Incremental Specification of Telecommunication Services. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour |
Test Case Design Based on Z and the Classification-Tree Method. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lingzi Jin, Hong Zhu 0002 |
Automatic Generation of Formal Specification from Requirements Definition. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jinyun Xue, Ruth Davis |
A Simple Program whose Derivation and Proof is Also. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Daniel M. Berry, M. Weber |
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Cyrluk, John M. Rushby, Mandayam K. Srivas |
Systematic Formal Verification of Interpreters. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer |
CASTING: A Formally Based Software Test Generation Method. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
A Generic Approach to the Formal Specification of Requirements. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Milica Barjaktarovic |
Formal Specification and Verification of the MISSI Sender and Local Cache using SPIN. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|