Hosted articles 1996

• A Symbolic Modelling Approach for the Formal Verification of Integrated Mixed-Mode Systems (1996-09-01)
• Database Technology Beyond Object-Relational (1996-09-01)
• An Analysis of User Behavior in an Interactive Auditory Field (1996-09-01)
• Formally Assessing Software Modifiability (1996-09-01)
• Proceedings of the BCS-FACS Northern Formal Methods Workshop - Index (1996-09-01)
• Proceedings of the 3rd Workshop on Designing Correct Circuits - Index (1996-09-01)
• Using Object-Z to Compare the MVC and PAC Architectures (1996-09-01)
• Value-serializability and an Architecture for Managing Transactions in Multiversion Objectbase Systems (1996-09-01)
• Interfacing of Object Analysis and Design Methods with the Method for Interoperable Information Systems Design (1996-09-01)
• CASE-based Rigorous Object-Oriented Modeling (1996-09-01)
• Analysis of the Four-slot Mechanism (1996-09-01)
• Modeling Facilities for the Component-based Software Development Method (1996-09-01)
• Deriving Two-Phase Modules for a Multi-Target Hardware Compiler (1996-09-01)
• The user context and formal specification in interactive system design (1996-09-01)
• A Dynamic Hardware Generation Mechanism Based on Partial Evaluation (1996-09-01)
• Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol (1996-09-01)
• The Validation of Formal Specifications of Requirements (1996-09-01)
• Formal Analysis of Concurrent Real-Time Requirements Models (1996-09-01)
• Semantic Rules to Propagate Versions in Object-Oriented Databases (1996-09-01)
• Formal Methods and Human Communication (1996-09-01)
• The role of modelling skills in learning formal specification (1996-09-01)
• Proving Newtonian Arbiters Correct, almost surely (1996-09-01)
• Context Sensitive User Interfaces (1996-09-01)
• Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface - Index (1996-09-01)
• On Harmonically Combining Active, Object-Oriented, and Deductive Databases (1996-09-01)
• MediaStore: WorldWideWeb Access to Multimedia Database Systems (1996-09-01)
• Formal Development of Correct Classes in Computational Logic (1996-09-01)
• Coercing Real-time Refinement: A Transmitter (1996-09-01)
• Specifying and Property Checking the AMULET1 Address Interface (1996-09-01)
• Serialising Heterogeneous and Non-Factorisable Processor Arrays (1996-09-01)
• Design Rules and Abstractions (from branching and real time) (1996-09-01)
• A Formal Basis for Modelling Process and Task Management Aspects of User Interface Design (1996-09-01)
• A Comparison of Formal Real-Time Specication Languages (1996-09-01)
• An Indexing Algorithm for Text Retrieval* (1996-09-01)
• Transformation of MTCCS into an Extension of Timed Automata (1996-09-01)
• Verification of Properties of Human-Computer Dialogues with an Infinite Number of States (1996-09-01)
• Objects and their computational framework (1996-09-01)
• Disjunctive Rules and Null Values: Logic Programs with Incomplete Information (1996-09-01)
• Migrating Data-Oriented Applications to a Relational Database Management System (1996-09-01)
• Type Associations Identified to Support Information Resource Reuse in Megaprogramming (1996-09-01)
• Towards a Symbolic Modal Logic for LOTOS (1996-09-01)
• Modelling Interactions as Queues (1996-09-01)
• A Model for Dynamic State-based Systems (1996-09-01)
• Key Integrity for Cooperative Database Environments with Stationary and Mobile Hosts (1996-09-01)
• A Formally Based Framework for Supporting Design and Analysis of Asynchronous Hardware Systems (1996-09-01)
• Ternary Simulation: Refinement of Binary Functions or Abstraction of Real-Time Behaviour? (1996-09-01)
• A Distributed Architecture for Integrated Access to Legacy Database Systems (1996-09-01)
• Improving Hardware Designs whilst Simplifying their Proof (1996-09-01)
• Extending the Gemstone Smalltalk Interface Debugger to cope with Active Database Components (1996-09-01)
• FORMALISING DESIGN PATTERNS (1996-09-01)
• A Modal Model of Versions (1996-09-01)
• Ensuring Correctness of Ruby Transformations (1996-09-01)
• The Refinement of Embedded Software with the B-Method (1996-09-01)
• Databases Evolution: A Metaobject Approach (1996-09-01)
• A Transaction Model For Handling Composite Events (1996-09-01)
• Perfect Encoding: a Signature Method for Text Retrieval (1996-09-01)
• Towards a New Conceptual Framework for the Modelling of Dynamically Distributed Systems (1996-09-01)
• Designing Databses using the Activity Paradigm (1996-09-01)
• Proceedings of the International Workshop on Advances in Databases and Information Systems - Index (1996-09-01)
• SLDMagic—An Improved Magic Set Technique (1996-09-01)
• User Modelling for Conceptual Database Design Based on an Extended Entity Relationship Model: A Preliminary Study (1996-09-01)
• A Design Life-Cycle for the Formal Design of User Interfaces (1996-09-01)
• An Integrated Approach to Verifying Large Circuits : A Case Study (1996-09-01)
• Towards Formal Methods for Agent-Based Systems (1996-09-01)
• On the Composition of Interactor Specifications (1996-09-01)
• Verification of an Optimized Fault-Tolerant Clock Synchronization Circuit (1996-09-01)
• Using Temporal Logic in the Specification of Reactive and Interactive Systems (1996-09-01)
• Dialogue Graphs - a Formal and Visual Specification Technique for Dialogue Modelling (1996-09-01)
• Evaluating Possibilities for Formally Sound Simulation and Verification of VHDL (1996-09-01)
• Realising Strategic Management Reengineering Objectives with DEMO (1996-07-01)
• Informed consent: implementing shared decision-making in health care (1996-07-01)
• Exploitation of Object-Oriented and Active Constructs in Database Interface Development (1996-07-01)
• LibSearch: A Window-based Frontend to Remote Bibliographic Databases on the Internet (1996-07-01)
• Indirect Speech Acts and Their Use in Three Channels of Communication (1996-07-01)
• A Tool for Developing Correct Programs by Refinement (1996-07-01)
• VISIONARY: a Visual Query Language Based on the User Viewpoint Approach (1996-07-01)
• Dynamic Maps : an Intuitive Interface for Naive Users of Spatial Database Systems (1996-07-01)
• Visualising Large Data Sets in Molecular Biology (1996-07-01)
• Desktop Objects : Directly Manipulating Data and Meta Data (1996-07-01)
• First Order Action Logic - an Approach for Modelling the Communication Process between Agents (1996-07-01)
• TOTEM: an Interactive Tool for Creative Data Modelling (1996-07-01)
• The Interpretation of Business Communication: The Application of Functional Grammar and the Transaction Process Model (1996-07-01)
• Generic Business Frameworks and Action Modelling (1996-07-01)
• DRIVE : An Environment for the Organised Construction of User-Interfaces to Databases (1996-07-01)
• An Empirical Study Of Innovation in Manufacturing Teams: A Preliminary Report (1996-07-01)
• A Survey of Query Languages for Geographic Information Systems (1996-07-01)
• A Communicative Action Analysis of Information Systems: A Sales Support System and Its Effects (1996-07-01)
• Design and Verification of a Coherent Shared Memory (1996-07-01)
• EER Designer for Deductive Databases (1996-07-01)
• Interpreting Graphic Models (1996-07-01)
• VR Queries and their Transformations in a Progressive Querying Environment (1996-07-01)
• Language as Action in Design Meetings: From theory to practice (1996-07-01)
• Models for Configuration Management of Refinement Calculus Developments (1996-07-01)
• Separating Algorithm and Implementation in the Refinement of Parallel Program Specifications (1996-07-01)
• Smalltalk Graphics as a Visual Aid to Acquiring Query Language Skills over a Semantic Data Model (1996-07-01)
• Proceedings of the 3rd International Workshop on Interfaces to Databases - Index (1996-07-01)
• Using Temporal Fixpoints to Compositionally Reason about Liveness (1996-07-01)
• A real-time refinement calculus that changes only time (1996-07-01)
• Interface Design: More Craft than Science? (1996-07-01)
• Modeling the Dynamics of Transferable Obligations in Business Procedures (1996-07-01)
• On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation (1996-07-01)
• Notes on the Success of Speech Acts and Negotiating Commitments (1996-07-01)
• Proceedings of the BCS-FACS 7th Refinement Workshop - Index (1996-07-01)
• Development of Concurrent Systems in B AMN (1996-07-01)
• A Graphical User Interface to the Object-Oriented Database System VODAK on the Basis of the Generic Visualisation Toolkit Lyberworld (1996-07-01)
• A LANGUAGE/ACTION PERSPECTIVE ON COOPERATIVE INFORMATION AGENTS (1996-07-01)
• Graphic Interface to Access a Multimedia Database on Spanish Emblematic Literature (1996-07-01)
• Calculational Derivation of Algorithms on Tree-based Pointer Structures (1996-07-01)
• Proof rules for probabilistic loops (1996-07-01)
• Chopping a Point (1996-07-01)
• Interpreting Nondeterminism in the Refinement Calculus (1996-07-01)
• Comparative Ease of Use of a Diagrammatic Vs. an Iconic Query Language (1996-07-01)
• Proceedings of the First International Workshop on Communication Modeling - Index (1996-07-01)
• Specification of the Dynamic Channel Selection(DCS) in DECT (1996-07-01)
• On Compositionality in Refining Concurrent Systems (1996-07-01)
• Procedures in the Refinement Calculus: A New Approach? (1996-07-01)
• THE SPECIFICATION AND IMPLEMENTATION OF A DEMOSUPPORTING CASE-TOOL (1996-07-01)
• The Use of the Data Dictionary in DBMS based on Graphs (1996-07-01)
• INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ++ Approach (1996-03-01)
• A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification (1996-03-01)
• NOODLE++: a 3-dimensional Net-based Object-Oriented Development Model 1 (1996-03-01)
• Mapping Object Diagrams into B Specifications (1996-03-01)
• Proceedings of the Methods Integration Workshop - Index (1996-03-01)
• Integrating Process Modelling and Soft Systems Analysis (1996-03-01)
• Data Modelling in ZIM (1996-03-01)
• A Spanning Tree Object-Oriented Distributed Algorithm: Specification and Proof (1996-03-01)
• JSD ≜ ΔCSP ⊕ TLZ — A Case Study (1996-03-01)
• Methods Integration: Time for Reflection (and Reorientation?) (1996-03-01)
• Improving Access of the Commercial Software Developer to Formal Methods: Integrating MERISE with Z (1996-03-01)
• Synthesis - An Integrated, Object-Oriented Method and Tool for Requirements Specification in Z (1996-03-01)
• Application of Structured Analysis/Formal Design Method to a Case Study from the Nuclear Industry (1996-03-01)
• CASE Support for Methods Integration : Implementation of a translation from a structured to a formal notation (1996-03-01)
• Combining Object Oriented Process and Information Models in the Design of Co-operative Systems for an Area Health Authority (1996-03-01)