Scott A. Deloach, Paul Bailor, Thomas Hartrum  Home/Search
Context Related
| ksu.edu/~sdeloach/publ...kbsepaper.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ksu.edu/~sdeloach/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Although techniques for using formal specifications have been progressing, methods for developing formal specifications themselves have improved little. To alleviate this problem, we propose a parallel refinement approach to specification acquisition wherethe designer uses an object-orientedspecification representation while an underlying specification composition system manipulates an equivalent theory-basedspecification. This paper presents the key to such a system --atheory-based object... (Update)
Context of citations to this paper: More
...tradeoff between automated checking ability of a formalized, mathematical based verification method and ease of understanding. In [18], a system is discussed which supports a theory based object model, which formally defines object oriented concepts in terms of algebraic...
Cited by: More
Reference Architecture Representation Environment (RARE) - A.. - Graser (1996) (Correct)
Similar documents (at the sentence level):
20.4%: A Theory-Based Representation for Object-Oriented Domain Models - DeLoach, Hartrum (2000) (Correct)
Active bibliography (related documents): More All
0.3: Macroscopic Structure and Physiology of the Normal and Diseased .. - Masood, Yang (Correct)
0.3: A Survey of Categorical Computation: Fixed Points, . . . - Spencer (1990) (Correct)
0.2: An Approach to Animating Model-Based Object-Oriented.. - Czarnecki, Zhang, Lano (1999) (Correct)
Similar documents based on text: More All
0.1: Agent-Based Mixed-Initiative Collaboration: The.. - Cox, Hartrum.. (2002) (Correct)
0.1: Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999) (Correct)
0.0: Utility Theory-Based User Models for Intelligent Interface .. - Brown, Santos, Jr., Banks (1998) (Correct)
BibTeX entry: (Update)
Scott DeLoach, Paul Bailor, and Thomas Hartrum, "Representing Object Models as Theories," Tenth Knowledge-Based Software Engineering Conference, Nov. 12-15, 1995, Boston, MA. http://citeseer.ist.psu.edu/deloach95representing.html More
@inproceedings{ deloach95representing,
author = "Scott DeLoach and Paul D. Bailor and Thomas C. Hartrum",
title = "Representing Object Models as Theories",
booktitle = "{KBSE}",
pages = "28-35",
year = "1995",
url = "citeseer.ist.psu.edu/deloach95representing.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
204 KIDS - A Semi-automatic Program Development System - Smith - 1990
46 Data Abstraction and Hierarchy (context) - Liskov - 1987
25 Transformational Approach to Transportation Scheduling - Smith - 1993
21 Object-Z: An ObjectOriented Extension to Z (context) - Carrington - 1989
21 Strategies for Incorporating Formal Specifications (context) - Fraser, Kumar et al. - 1994
21 Introducing OBJ3 (context) - Goguen, Winkler - 1988
9 Specification in OOZE with Examples (context) - Alencar, Gougen - 1994
8 Unifying Functional, Object-Oriented and Relational Programm.. (context) - Goguen, Meseguer - 1987
8 A Comparative Description of Object-Oriented Specification L.. (context) - Lano, Houghton - 1994
8 Teaching formal extensions of informal-based object-oriented.. (context) - Hartrum, Bailor - 1994
7 Specifying a Concept-recognition System in Z (context) - Lano, Houghton - 1994
3 Category Theory Definitions and Examples (context) - Srinivas - 1990
3 New Jersey: Prentice-Hall Inc (context) - Rumbaugh, Modeling et al. - 1991
2 Algebraic Specification: Syntax, Semantics, Structure (context) - Srinivas - 1990
1 Specware User Manual: SpecwareVersion Core (context) - Institute - 1994
Documents on the same site (http://www.cis.ksu.edu/~sdeloach/papers.htm): More
Determining When to Use an Agent-Oriented Software.. - O'Malley, DeLoach (2001) (Correct)
Category Theory Approach to Fusion of Wavelet-Based Features.. - DeLoach, Kokar (1999) (Correct)
Automated Derivation of Complex Agent Architectures from.. - Sparkman, DeLoach (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC