The relation between logic programming and logic specification
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Journal of Symbolic Computation
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming: systematic program development
Logic programming: systematic program development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Handbook of theoretical computer science (vol. B)
Logic programming in the LF logical framework
Logical frameworks
The Z notation: a reference manual
The Z notation: a reference manual
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Transformations of CLP modules
Theoretical Computer Science
Extending fusion: practical rigor and refinement
Object-oriented development at work
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Software architecture in practice
Software architecture in practice
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Designing component-based frameworks using patterns in the UML
Communications of the ACM
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An abstract formalization of correct schemas for program synthesis
Journal of Symbolic Computation - Special Issue on Schemas
Logic for Problem Solving
Essential COM
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Applying Enterprise Javabeans: Component-Based Development for the J2ee Platform
Applying Enterprise Javabeans: Component-Based Development for the J2ee Platform
IEEE Software
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Forms of Logic Specifications: A Preliminary Study
LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
Specification-Based Automatic Verification of Prolog Programs
LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Correct-schema-guided synthesis of steadfast programs
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
A formal approach to software architecture
A formal approach to software architecture
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Program Derivation = Rules + Strategies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Hi-index | 0.00 |