Andres Vignaga  Home/Search
Context
Related
| fing.edu.uy/inco/pe...tesisvignaga.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: fing.edu.uy/inco/pedec...reportes (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data Types Specification . . . . . . . . . . . . . 23 3.2 Specification of Basic Types . . . . . . . . . . . . . . . . . . . . . 24 3.3 Specification of type System . . . . . . . . . . . . . . . . . . . . . 26 3.3.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.3.2 Preconditions . . . . . . . . . . . . . . . . . . . . . . . . . 27 3.3.3 Axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 3.3.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . .... (Update)
Active bibliography (related documents): More All
0.8: Static Verification of UML Model Consistency - Baruzzo And Comini (Correct)
0.5: Validation of UML and OCL Models by Automatic Snapshot.. - Gogolla, Bohling, Richters (2003) (Correct)
0.5: Requirements Analysis and Prototyping Using Scenarios and.. - Behrens (Correct)
Similar documents based on text: More All
0.5: Secure Object Sharing Development Kit for Java Card - Daniel Perovich Daniel (2002) (Correct)
0.4: A Generic Version of scanf Programmed in C5 - Cabezas (Correct)
0.4: Type checking Dependent (Record) Types and Subtyping - Betarte (Correct)
BibTeX entry: (Update)
@misc{ vignaga-formal,
author = "Andres Vignaga",
title = "A Formal Semantics of State Modification Primitives of Object-Oriented
Systems",
url = "citeseer.ist.psu.edu/vignaga04formal.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
653 Object-Oriented Analysis and Design with Applications (context) - Booch - 1994
650 An Axiomatic Basis of Computer Programming (context) - Hoare - 1969
542 ObjectOriented Software Engineering: A Use Case Driven Appro.. (context) - Jacobson, Christerson et al. - 1992
452 Data Structures and Algorithms (context) - Aho, Hopcroft et al. - 1983
397 Object Management Group - Driven, Guide et al. - 2001
397 Object Management Group - Unified, Specification et al. - 2003
397 a Object Facility (MOF) Specification, Version 1.4, April 20.. - Met - 2002
397 Object Management Group - for, Action et al. - 1998
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jaconson et al. - 1998
295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
230 The Unified Software Development Process (context) - Jacobson, Booch et al. - 1999
181 The Object Constraint Language: Precise Modeling with UML (context) - Warmer, Kleppe - 1998
162 Prentice Hall (context) - Meyer, el et al. - 1991
99 Design by Contract (context) - Meyer - 1992
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
72 The Formal Semantics of Programming Languages: An Introducti.. (context) - Winskel - 1993
70 A logic of object-oriented programs - Abadi, Rustan et al. - 1998
68 The Rational Unified Process: An Introduction (context) - Kruchten - 2000
63 Semantics with Applications: A Formal Introduction (context) - Nielson, Nielson - 1992
57 The LOOP compiler for Java and JML - van den Berg, Jacobs - 2001
50 Applying UML and Patterns: An Introduction to ObjectOriented.. (context) - Larman - 1998
50 Applying UML and Patterns: An Introduction to ObjectOriented.. (context) - Larman - 2002
38 The Coq Proof Assistant Reference Manual (context) - Team - 2002
30 Une theorie des constructions inductives (context) - Werner - 1994
29 UML Components: A Simple Process for Specifying Component-Ba.. (context) - Cheesman, Daniels - 2001
13 Modular Specification and Verification of Object-Oriented Pr.. (context) - Muller - 2002
12 Institut National de Recherche en Informatique et en Automat.. - Coq, assistant et al. - 2002
10 Auto-validation d'un systeme de preuves avec familles induct.. (context) - Barras - 1999
5 The Java TM Language Specification (context) - Joy, Steele et al. - 2000
4 Proving a Real Time Algorithm for ATM in Coq (context) - Monin - 1998
4 Automating Inversion of Inductive Predicates in Coq - Cornes, Terrasse - 1996
4 A Tutorial on Recursive Types in Coq - Gimenez - 1998
3 Prentice Hall International Series in Computer Science (context) - Kaldewaij, The et al. - 1990
3 Object-Oriented Analysis: A Model-Driven Approach (context) - Embley, Kurtz et al. - 1992
3 Design by Contract with JML - Leavens, Cheon - 2003
2 The USE tool: a UML-based specification environment (context) - Richters - 2001
2 Validation of object-oriented models using animation (context) - Oliver, Kent - 1999
2 Executing' the OCL (context) - Oliver - 1999
1 Objrct-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1 A Precise Approach to Validating UML Models and Constraints (context) - Richters - 2002
1 Le systeme Coq (context) - Paulin-Mohring - 1997
1 Internet httpwww (context) - IBM, Internet et al. - 2003
1 a and A. C. Wills. Objects, Components, and Frameworks with .. (context) - D'Souz - 1999
1 Specification of a Smart Card Operating System (context) - Betarte, Cornes et al. - 2000
1 Nijmeegs Instituut voor Informatica en Informatiekunde (context) - Systems, Project - 2003
1 Internet: http:// www (context) - Corporation - 2003
1 The Crystal Collection for Software Professionals (context) - Cockburn, ective - 2001
1 Action Semantics Consortium Site (context) - Consortium - 2001
1 volume 828 of Springer Lecture Notes on Computer Science (context) - Paulson, theorem - 1994
1 Internet httpwww (context) - Carter, Internet et al. - 2003
1 An OCL-based Semantics of System State Modification Primitiv.. (context) - Vignaga - 2003
1 Elseiver North Holland (context) - Kowalski, Problem - 1979
Documents on the same site (http://www.fing.edu.uy/inco/pedeciba/bibliote/reportes.htm): More
Secure Object Sharing Development Kit for Java Card - Perovich (Correct)
Comparing assignment algorithms for the Multi-Depot VRP - Tansini, Urquhart, Viera (Correct)
A GRASP algorithm for designing a Wide Area Network backbone - Cancela, Robledo, Rubino (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