A logic meta-programming approach to support the co-evolution of object-oriented design and implementation (original) (raw)

Object-oriented software construction

Bertrand Meyer

Science of Computer Programming, 1989

View PDFchevron_right

A survey of object-oriented concepts

Dennis Tsichritzis

Object-oriented concepts, databases, and applications, 1989

View PDFchevron_right

Object-Oriented Programming

Moheb Girgis

John Wiley & Sons, Inc. eBooks, 2005

View PDFchevron_right

Co-Evolution of Object-Oriented Software Design and Implementation

Kim Mens

Software Architectures and Component Technology, 2002

View PDFchevron_right

Object-oriented systems analysis and design

Hessam Ashrafi

2008

View PDFchevron_right

Developing object oriented designs from component and connector architectures

Sungwon Kang

12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005

View PDFchevron_right

Object-oriented analysis and design

Mike Gora

Information and Software Technology, 1993

View PDFchevron_right

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques

Robert Geisler

German-Argentinian Workshop on Information Technology, 1999

View PDFchevron_right

Skeletons and techniques as a normative approach to program development in logic-based languages

L. Sterling

1996

View PDFchevron_right

Support for object-oriented model construction

Jakob Tholander

Proceedings of the Conference on Computer Support for Collaborative Learning Foundations for a CSCL Community - CSCL '02, 2002

View PDFchevron_right

Declarative reasoning about the structure of object-oriented systems

Wuyts Roel

1998

View PDFchevron_right

From Object Oriented Conceptual Modeling to Automated Programming in Java

Emilio Insfran

Lecture Notes in Computer Science, 1998

View PDFchevron_right

Object-Oriented Analysis and Design for Information Systems

Raul Sidnei Wazlawick

2014

View PDFchevron_right

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32

Bertrand Meyer

1999

View PDFchevron_right

An Object-Oriented Framework for Goal and Process Modeling

Jose Tribolet

OOIS 2001, 2001

View PDFchevron_right

Modularity in Logic Programming

Michele Bugliesi

1993

View PDFchevron_right

A stable model semantics for behavioral inheritance in deductive object oriented languages

Michele Bugliesi

Lecture Notes in Computer Science, 1995

View PDFchevron_right

A CASE Tool to Create an Object oriented System

V. Rajaraman

Defence Science Journal, 1993

View PDFchevron_right

Challenges in software evolution

Mehdi Jazayeri

International Workshop on Principles of Software Evolution (IWPSE), 2005

View PDFchevron_right

A merit factor driven approach to the modularization of object-oriented systems

Miguel Goulao

L'Objet, 2001

View PDFchevron_right

Logic programming as a formalism for specification and implementation of computer systems

Anthony Kusalik

1988

View PDFchevron_right

Method Driven Model: A Unified Model for an Object Composition Language

Chitra Babu

1998

View PDFchevron_right

Rearchitecting Meta-modeling Foundation: A Formal Approach

reza teimourzadegan, Ali Nikravesh

2009

View PDFchevron_right

Towards an object-oriented programming system for education

Pérez Cota

Computer Applications in Engineering Education, 2006

View PDFchevron_right

Agents in object-oriented software engineering

Alessandro Garcia

Software: Practice and Experience, 2004

View PDFchevron_right

Analysis Of Object Oriented Programming - IRE Journals

Akshat Bhalla

2019

View PDFchevron_right

Requirements-driven software evolution

Konstantinos Angelopoulos

Computer Science - Research and Development, 2012

View PDFchevron_right

Modular Semantics and Logics of Classes

Bernhard Reus

Lecture Notes in Computer Science, 2003

View PDFchevron_right

Declarative design pattern-based development using aspect oriented programming

Giuseppe Di Lucca

View PDFchevron_right

1 Object-oriented Design Patterns and System Dynamics Components By

Magne Myrtveit

2014

View PDFchevron_right

Weaving definition and execution aspects of process meta-models

Jean Bezivin

Proceedings of the 35th Annual Hawaii International Conference on System Sciences, 2002

View PDFchevron_right

A Philosophy of Software Design

Marta Zuriadi

View PDFchevron_right

Code synthesis based on object-oriented design models and formal specifications

Xiaoping Jia

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)

View PDFchevron_right

Yet Another Programming Exercises Interoperability Language (Short Paper)

José Paulo Leal

2020

View PDFchevron_right

Hpo: a programming environment for object-oriented metacomputing

Letizia Leonardi

1997

View PDFchevron_right