Search results for "ICFEM"

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

Publications at "ICFEM"( http://dblp.L3S.de/Venues/ICFEM )