Constructive Consistency Checking for Partial Specification in Z

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Science of Computer Programming

• Publication date

  1999-09-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/S0167-6423(99)00006-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Proceedings of the Tenth International Conference on Parsing Technologies, IWPT 2007, Prague, Czech Republic, June 23-24, 2007

  2007cited by this paper
• Specifying ODP Computational Objects in Z

  1997cited by this paper
• Viewpoint Consistency in Z and LOTOS: A Case Study

  1997cited by this paper
• Weak Reenement in Z

  1997cited by this paper
• Defining and detecting feature interactions

  1997cited by this paper
• Translating LOTOS to object-Z

  1997cited by this paper
• of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 Coupling Schemas : Data Refinement and View ( point ) Composition

  1997influential reference
• Comparing LOTOS and Z refinement relations

  1996cited by this paper
• Managing interference

  1996cited by this paper
• Issues in multiparadigm viewpoint specification

  1996cited by this paper
• Problem decomposition for reuse

  1996cited by this paper
• Consistency and re(cid:12)nement for partial speci(cid:12)cation in Z

  1996cited by this paper
• An approach to conceptual feedback in multiple viewed software requirements modeling

  1996cited by this paper
• Where Do Operations Come From: A Multiparadigm Specification Technique

  1996cited by this paper
• Formal validation of viewpoint specifications

  1996cited by this paper
• Integrating Action Systems and Z in a Medical System Specification

  1996cited by this paper
• Maintaining Cross Viewpoint Consistency using Z

  1995cited by this paper
• Viewpoints and Objects

  1995influential reference
• Program Construction by Parts

  1995cited by this paper
• Software Quality Assurance Using the SAZ Method

  1994cited by this paper
• Inconsistency Handling in Multiperspective Specifications

  1994cited by this paper
• Conjunction as composition

  1993cited by this paper
• Viewpoints: A Framework for Integrating Multiple Perspectives in System Development

  1992cited by this paper
• The Z notation - a reference manual

  1992influential reference
• On Free Type Deenitions in Z

  1992cited by this paper
• On Recursive Free Types in Z

  1991cited by this paper
• Formal Specification of a Display-Oriented Text Editor

  1982cited by this paper

• AN APPROACH TO COMPOSE VIEWPOINTS OF DIFFERENT STAKEHOLDERS IN THE SPECIFICATION OF PROBABILISTIC SYSTEMS

  2014cites this paper
• and Eerke Boiten Computing Laboratory , University of Kent , Canterbury , CT 2 7 NF , UK

  2014cites this paper
• From ODP viewpoint consistency to Integrated Formal Methods

  2013cites this paper
• The Reference Model of Open Distributed Processing: Foundations, experience and applications

  2013cites this paper
• Fakultät für Informatik CSR-08-02 Using Semantic Web Technology in Requirements Specifications

  2008cites this paper
• Using Semantic Web Technology in Requirements Specifications

  2008cites this paper
• Consistency in multi-viewpoint design of enterprise information systems

  2008cites this paper
• Generative frameworks for rigorous model-driven development

  2006cites this paper
• Viewpoint Development of Stochastic Hybrid Systems

  2006cites this paper
• Consistency in Multi-Viewpoint Architectural Design of Enterprise Information Systems

  2006cites this paper
• Consistency in multi-viewpoint architectural design

  2006cites this paper
• Managing the Inconsistency of Software Requirements

  2005cites this paper
• Object-Oriented Specification and Open Distributed Systems

  2004cites this paper
• Integration of Specification Languages Using Viewpoints

  2004influential citation
• A Comparison of System Modelling for Distributed Applications: RM-ODP vs MDA *

  2004cites this paper
• Towards Correspondence Carrying Specifications

  2004cites this paper
• Draft-Inconsistency Management in Software Engineering 1 INCONSISTENCY M ANAGEM ENT IN SOFTWARE ENGINEERING : SURVEY AND OPEN RESEARCH ISSUES

  2003influential citation
• A RELATIONAL FRAMEWORK FOR THE INTEGRATION OF SPECIFICATIONS

  2003cites this paper
• ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z

  2002cites this paper
• Design Support for Distributed Systems: DSE4DS

  2002cites this paper
• Combining Component Specifications in Object-Z and CSP

  2002cites this paper
• Interpreting ODP Viewpoint Specification: Observations from a Case Study

  2002influential citation
• Handling Inconsistencies in Z Using Quasi-Classical Logic

  2002cites this paper
• Refinement and the Z schema calculus

  2002cites this paper
• ZB 2002:Formal Specification and Development in Z and B

  2002cites this paper
• New refinement relations of Z specifications for multiple viewpoints oriented requirements method

  2001cites this paper
• Extensions of standard Z refinement relation for multiple viewpoints oriented requirements method

  2001cites this paper
• Extensions of standard Z refinement relation for multiple viewpoints oriented requirements method

  2001cites this paper
• Viewpoints modelling

  2001cites this paper
• Consistency checking for Euclidean spatial constraints: a dimension graph approach

  2000cites this paper
• Inconsistency Management in Software Engineering: Survey and Open Research Issues

  2000influential citation
• Liberating Data Refinement

  2000cites this paper
• A case study in partial specification: consistency and refinement for Object-Z

  2000cites this paper
• A Bibliography of Publications in Science of Computer Programming

  2000cites this paper
• Viewpoint consistency in ODP

  2000cites this paper
• ODP enterprise viewpoint specification

  2000cites this paper
• Modeling and processing directional relationships in spatial databases

  2000cites this paper
• Viewpoints and consistency: translating LOTOS to Object-z

  1999cites this paper
• Formalising ODP enterprise policies

  1999cites this paper