Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Software engineering in the twenty-first century
AI Magazine
A comparative description of object-oriented specification languages
Object-oriented specification case studies
Specifying a concept-recognition system in Z++
Object-oriented specification case studies
Specification in OOZE with examples
Object-oriented specification case studies
Strategies for incorporating formal specifications in software development
Communications of the ACM
Formal transformations from graphically-based object-oriented representations to theory-based specifications
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies
Proceedings of the 7th SEI CSEE Conference on Software Engineering Education
Research on Ontology-Oriented Domain Analysis on MIS
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formalizing UML class diagrams
UML and the unified process
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
A new method of building ontology using inheritance
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
| Hi-index | 0.01 |
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 that defines how object-oriented concepts can be represented algebraically using an object-oriented algebraic specification language O-Slang. O-Slang combines basic algebraic specification constructs with category theory operations to capture internal object class structure, as well as relationships between classes.