Scott A. DeLoach, Thomas C. Hartrum  Home/Search
Context Related
| af.mil/sdeloach/pub...sadieeesw.ps.gz 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: af.mil/sdeloach/bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal software specification has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal specifications directly is to translate graphically-based, semiformal specifications into formal specifications. However, before this translation can take place, a formal definition of basic object oriented concepts must be found. This paper presents an algebraic model of object-orientation... (Update)
Context of citations to this paper: More
.... previous research we have shown category theory to be useful for defining relationships between object classes in object oriented systems [1] and now we do the same for information fusion systems. The first section of the paper is a tutorial on algebraic specifications and...
.... to th translation from UML to Slang, Smith and DeLoach h ve built a translator th[ automatically translates from UML directly to O Slang [6] based on an OMTth ory based object model [5] in th process of being extended to UML. O Slang is an object oriented form of Slang thT...
Cited by: More
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (Correct)
Formal Foundations in RSL for UML Class Diagrams - Funes, George (2002) (Correct)
Category Theoretic Approaches of Representing Precise.. - Smith, Scott, Kokar.. (2000) (Correct)
Similar documents (at the sentence level):
11.7%: Representing Object Models as Theories - Deloach, Bailor, Hartrum (1995) (Correct)
Active bibliography (related documents): More All
0.3: A Survey of Categorical Computation: Fixed Points, . . . - Spencer (1990) (Correct)
0.3: Objectsim - Conceptual Modelling Towards A Generic .. - Pears, Pissaloux, .. (Correct)
0.3: Objectsim - The Conceptual Model Of A Generic.. - Pears, Pissaloux, .. (1996) (Correct)
Similar documents based on text: More All
0.5: Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999) (Correct)
0.4: The AFIT Wide Spectrum Object Modeling Environment: An Awsome.. - Hartrum, Jr (2000) (Correct)
0.4: Knowledge Base Support For Design And Synthesis Of Multiagent.. - Raphael (2000) (Correct)
Related documents from co-citation: More All
3: UML Formalization and Transformation (context) - Smith - 1999
2: Some fundamental algebraic tools for the semantics of computation - Tarlecki, Goguen et al. - 1991
2: Object-Oriented Software Development Using UML (context) - Liu - 2001
BibTeX entry: (Update)
DeLoach, S. A. and Hartrum, T. C. 1999. A Theory-Based Representation for Object-Oriented Domain Models. Accepted for publication in IEEE Transactions on Software Engineering. http://citeseer.ist.psu.edu/83849.html More
@article{ deloach00theorybased,
author = "Scott DeLoach and Thomas C. Hartrum",
title = "A Theory-Based Representation for Object-Oriented Domain Models",
journal = "Software Engineering",
volume = "26",
number = "6",
pages = "500-517",
year = "2000",
url = "citeseer.ist.psu.edu/83849.html" }
Citations (may not include all citations):1174 Statecharts: A Visual Formalism for Complex Systems - Harel - 1987
204 KIDS - A Semi-automatic Program Development System - Smith - 1990
72 A Formal Semantics for Object Model Diagrams (context) - Bourdeau, Cheng - 1995
57 Some Fundamental Algebraic Tools for the Semantics of Comput.. - Goguen, Burstall - 1984
46 Data Abstraction and Hierarchy (context) - Liskov - 1987
25 Transformational Approach to Transportation Scheduling - Smith - 1993
21 Object-Z: An Object-Oriented 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
13 Report on a Knowledge-Based Software Assistant (context) - Green - 1986
12 Diagrams for Software Synthesis - Jullig, Srinivas - 1993
12 Software Engineering in the Twenty-First Century (context) - Lowry - 1992
9 Specification in OOZE with Examples (context) - Alencar, Gougen - 1994
8 Teaching formal extensions of informal-based objectoriented .. (context) - Hartrum, Bailor - 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
7 Specifying a Concept-recognition System in Z (context) - Lano, Houghton - 1994
5 Modelling Multiple Inheritance with Colimits (context) - Lin, Pong - 1990
4 Formal Transformations from Graphically-Based Object-Oriente.. (context) - DeLoach - 1996
3 An Algebraic Theory of Object-Oriented Systems (context) - Lu, Dillon - 1994
3 New Jersey: Prentice-Hall Inc (context) - Rumbaugh, Modeling et al. - 1991
3 Category Theory Definitions and Examples (context) - Srinivas - 1990
2 Algebraic Specification: Syntax, Semantics, Structure (context) - Srinivas - 1990
1 Slang Language Manual: Specware Version Core (context) - Institute - 1994
1 Practical Consequences of Formal Defintions of Inheritance (context) - Bar-David - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://en.afit.af.mil/sdeloach/bibliography.htm):
Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999) (Correct)
Determining When to Use an Agent-Oriented Software.. - O'Malley, 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