United States Air Force Summer Research Program -- 1993. Volume 4. Rome Laboratory (original) (raw)
Related papers
An Object-Oriented Refinement Calculus
1999
Refinement-Based Specification: Requirements and Architecture
Object-oriented specification and stepwise refinement
1991
A Refinement Algebra for Object-Oriented Programming
Lecture Notes in Computer Science, 2003
A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems
2002
A Seamless Eiffel-Based Refinement Calculus for Object-Oriented Systems (Extended Abstract)
2002
Refinement and Development of Programs from Relational Specifications
Electronic Notes in Theoretical Computer Science, 2003
ERC ? An object-oriented refinement calculus for Eiffel
Formal Aspects of Computing, 2004
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Specification refinements: Calculi, tools, and applications
Science of Computer Programming
Semantics, calculi, and analysis for object-oriented specifications
Acta Informatica, 2009
Ph. D. Proposal: Language Support for Layered Refinement
2000
Composition and Refinement for Partial Object Specifications (full version)
Graph transformations for object-oriented refinement
Formal Aspects of Computing, 2009
Concurrent Object-Oriented Programs: From Specification to Code
Formal Methods for Components and Objects, First International Symposium, FMCO 02, 2003
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
1996
Data Refinement in Object-Oriented Verification
2010
The Variety of Variables in Automated Real-Time Refinement
Formal Aspects of Computing, 2003
Patterns for Refinement Automation
Lecture Notes in Computer Science, 2010
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
2002
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007
Integrating Specification and Documentation in an Object-Oriented Language
SAVCBS 2004, Specification and Verification of Component-Based Systems, 2004
Composition and Refinement for Partial Object Specifications
International Parallel and Distributed Processing Symposium/International Parallel Processing Symposium, 2002
Unifying program construction and modification
Logic Journal of IGPL, 1998
Algebraic Specification and Program Development by Stepwise Refinement
Lecture Notes in Computer Science, 2000
Formal techniques for parallel object-oriented languages
Lecture Notes in Computer Science, 1991
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science, 2008
Refinement calculus: A basis for translation validation, debugging and certification
Theoretical Computer Science, 2006
Relational Concurrent Refinement Part II: Internal Operations and Outputs
Formal Aspects of Computing, 2009
Formal specification and prototyping of a program specializer
Lecture Notes in Computer Science, 1995
2008
Relational Concurrent Refinement
Formal Aspects of Computing, 2003
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
Lecture Notes in Computer Science, 1999
A Refinement Calculus for VHDL
Proc. European Design Automation Conference with EURO-VHDL'96, 1996