- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 THE RELATIONSHIP BETWEEN LOGIC
- A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Formal Reasoning about Modules, Reuse and their Correctness ?
- On Specification and Correctness of OOD Frameworks in Computational Logic
- Isoinitial Models for Logic Programs: A Preliminary KungKiu Lau, Mario Ornaghi
- Isoinitial Semantics for Logic Programs Kung-Kiu Lau 1 and Mario Ornaghi 2
- J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS
- Correctness of Logic Program Transformations Based on
- A Software Component Model and Its Preliminary Formalisation
- Synthesis of Logic Programs KungKiu Lau Geraint A Wiggins
- A Formal Approach to Software Component Specification KungKiu Lau
- On Specification Frameworks and Deductive Synthesis of Logic Programs ?
- Some Ingredients of Trusted Components KungKiu Lau
- Towards An ObjectOriented Methodology for Deductive Synthesis of Logic Programs ?
- The Halting Problem for Deductive Synthesis of Logic Programs
- ObjectOriented Design Frameworks: Formal Specification and Some Implementation Issues
- A Tutorial on Synthesis of Logic Programs from Specifications
- A Component Model that is both Control-driven and Data-driven
- On Dynamic Aspects of OOD Frameworks in Component-based Software Development in
- Topdown Synthesis of Sorting Algorithms Department of Computer Science,
- Formal Development of Correct Classes in Computational Logic
- On the Implementation of OOD Frameworks in COM Shui Ming Ho and KungKiu Lau
- Interacting Frameworks in Catalysis KungKiu Lau \Lambda
- Component Certification and System Prediction: Is there a Role for Formality? KungKiu Lau
- (Behavioural) Design Patterns as Composition Operators
- A Formal Approach to Deductive Synthesis of
- On the Implementation of Catalysis Frameworks in COM Shui Ming Ho and KungKiu Lau
- On Correct Program Schemas Pierre Flener, 1 KungKiu Lau 2 and Mario Ornaghi 3
- Logic for Component-based Software Development
- Correct OO Systems in Computational Logic KungKiu Lau 1 and Mario Ornaghi 2
- Component-based Software Development and Logic Programming
- September, 2006 Computer ScienceU n i v e r s i t y o f M a n c h e s t e r
- A Formal View of Specification, Deductive Synthesis and
- A Note on Synthesis and Classification of Sorting Department of Computer Science,
- Correct Object-Oriented Systems in Computational Logic
- Towards Composing Software Components in Both Design and Deployment Phases
- Composite Web Services Kung-Kiu Lau and Cuong Tran
- Frameworks in Catalysis: Pictorial Notation and Formal Semantics KungKiu Lau
- Modules, Reuse and Correctness \Lambda KungKiu Lau
- A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau
- Formal Specification of Catalysis Frameworks Juliana Kuster Filipe
- Synthesis of a Family of Recursive Sorting Procedures
- An Incompleteness Result for De ductive Synthesis of Logic Programs
- Constructing Component-based Systems Directly from Requirements using Incremental Composition
- A Taxonomy of Software Composition Mechanisms Kung-Kiu Lau and Tauseef Rana
- Component-based Construction of Concurrent Systems with Active Components
- Domain-Specific Software Component Models Kung-Kiu Lau and Faris M. Taweel
- Control Encapsulation: A Calculus for Exogenous Composition of Software Components
- Server-side Exception Handling by Composite Web Kung-Kiu Lau and Cuong Tran
- Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System
- Software Component Models Kung-Kiu Lau and Zheng Wang
- Computer ScienceU n i v e r s i t y o f M a n c h e s t e r Applying Deployment Contracts to
- Data Encapsulation in Software Components Kung-Kiu Lau and Faris M. Taweel
- A Study of Execution Environments for Software Kung-Kiu Lau and Vladyslav Ukis
- Computer ScienceU n i v e r s i t y o f M a n c h e s t e r On Characteristics and Differences of
- A Component-based Approach to Verified Software: What, Why, How and What Next?
- Composing Components in Design Phase using Exogenous Connectors Kung-Kiu Lau, Ling Ling and Zheng Wang
- Automatic Control Flow Generation from Software Architectures
- 28th International Conference on Software Engineering
- Towards Encapsulating Data in Component-Based Software Systems
- Defining and Checking Deployment Contracts for Software Components
- Computer ScienceU n i v e r s i t y o f M a n c h e s t e r A Reasoning Framework for Deployment
- A Taxonomy of Software Component Models Kung-Kiu Lau and Zheng Wang
- Computer ScienceU n i v e r s i t y o f M a n c h e s t e r A Survey of Software Component
- Component Configuration Management for Frameworks Ivica Crnkovic1
- Constructive Specifications for Compositional Units Kung-Kiu Lau1, Alberto Momigliano2, and Mario Ornaghi2
- Using SPARK for a Beginner's Course on Reasoning about Imperative Programs
- Active Learning Sheets for A Beginner's Course on Reasoning about Imperative Programs
- Towards an Introductory Formal Programming Course Kung-Kiu Lau, Vicky J. Bush, and Pete J. Jinks
- Topdown Synthesis of Recursive Logic Procedures from Firstorder
- Logic Programming for Software Engineering: A Second Chance
- July 1, 2006 16:0 World Scientific Review Volume -9.75in x 6.5in MASTER Charaterising Object-Based Frameworks in
- On the Relationship between Logic Programs and Specifications \Lambda
- OOD Frameworks in Componentbased Software Development in Computational Logic
- The Role of Logic Programming in NextGeneration ComponentBased Software Development
- A Beginner's Course on Reasoning About Imperative Programs
- Forms of Logic Specifications: A Preliminary Study ?
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 STEADFAST LOGIC PROGRAMS
- Software Component Models Kung-Kiu Lau
- Computer ScienceU n i v e r s i t y o f M a n c h e s t e r Deployment Contracts for Software
- Specifying Compositional Units for Correct Program Development in Computational Logic
- A Component Model for Separation of Control Flow from Computation in
- Composite Connectors for Composing Software Kung-Kiu Lau, Ling Ling, Vladyslav Ukis and Perla Velasco Elizondo
- A Priori Reasoning for Componentbased Software Development ?
- Exogenous Connectors for Software Components Kung-Kiu Lau , Perla Velasco Elizondo, and Zheng Wang
- Extracting Elements of Component-based Systems from Natural Language Requirements
- The W Model for Component-based Software Development
