PAMPERO: Precise assistant for the modeling process in an environment with refinement orientation

Lecture Notes in Computer Science

Volumn 3297, Issue , 2005, Pages 246-249

  Pons, Claudia ^a,b   Giandini, Roxana ^a   Pérez, Gabriela ^a   Pesce, Pablo ^a   Becker, Valeria ^a   Longinotti, Jorge ^a   Cengia, Javier ^a  

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b CONICET ^*  (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; PROGRAM DOCUMENTATION;

MODELING PROCESSES; REFINEMENT STEPS; REFINEMENT TRANSLATORS; SEMI-AUTOMATIC DISCOVERY;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 23944525855     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31797-5_26     Document Type: Conference Paper

References (8)

1. Derrick, J. and Boiten,E. Refinement in Z and Object-Z. Foundation and Advanced Applications. FACIT, Springer, 2001
2. Dijkstra, E.W., A Discipline of Programming. Prentice-Hall, 1976.
3. IBM, The Eclipse Project. Home Page. Copyright IBM Corp. and others, 2000-2004. http://www.eclipse.org/.
4. Lano, K. The B Language and Method. FACIT. Springer, 1996.
5. OMG. The Unified Modeling Language Specification - Version 1.5, UML Specification, revised by the OMG, http://www.omg.org, March 2003.
6. Pons, C., Pérez, G., Giandini, R., Kutsche, Ralf-D. Understanding Refinement and Specialization in the UML. 2nd International Workshop on MAnaging SPEcialization/Generalization Hierarchies (MASPEGHI). In IEEE ASE 2003, Canada.
7. Pons, C., Pérez., G. and Kutsche, R-D. Traceability across refinement steps in UML Modeling. Workshop in Software Model Engineering, 7th International Conference on the UML, October 11, 2004, Lisbon, Portugal.
8. Richters Mark and Gogolla Martin. Validating UML Models and OCL Constraints. Springer-Verlag, 2000. http://www.db.informatik.uni-remen.de/ projects/USE.