Reggio, Gianna - Dipartimento di Informatica e Scienze dell'Informazione, Università degli Studi di Genova

• Integrated Design and Process Technology,IDPT-2002 Printed in the United States of America, June, 2002
• Stores as Homomorphisms and Their Transformations
• ( ) 0 1 2 3 1 4 5 6 7 5 6 8 9 ) @ 3 A A 4 7 B C D C E F 6 4 G 3 H 1 4 2 I5 8 4 9 3 6 7 G 5 P C 2 5 Q R
• 13 Algebraic Speci cation of Concurrent Egidio Astesiano 1 , Manfred Broy 2 , and Gianna Reggio 1
• Plugging Data Constructs into ParadigmSpecific Languages: towards an
• Institutions for Very Abstract Specifications ? M. Cerioli and G. Reggio
• Metamodelling Behavioural Aspects: the Case of the UML State ( Complete Version)
• CaslChart: a Combination of Statecharts and of the Algebraic Specification Language Casl ?
• From Formal Techniques to WellFounded Software Development Methods ?
• Improving Use Case Based Requirements Using Formally Grounded Speci cations
• Towards a WellFounded UMLbased Development Method Egidio Astesiano Gianna Reggio
• Acta Informatica manuscript No. (will be inserted by the editor)
• An Algebraic Semantics of UML Supporting its Multiview Approach
• Towards a Formally Grounded Software Development Method
• A UML-Based Approach for Problem Frame Oriented Software Development
• Using UML for Problem Frame Oriented Software Development C. Choppy G. Reggio
• "! # $&%')(1032546'%87"9A@CBD%E93FHGIBD2QP RTSH@CBD2VU @ W'X'Y%EP9a`cbQBD2QP d59eb fgGHhi0a2 Rhpb)qr2Q@
• UML as a Heterogeneous Multiview Notation Strategies for a Formal Foundation
• A Development Frame for Web Sites E. Crivello and G. Reggio2
• Tight Structuring for Precise UMLbased Requirement Specifications ?
• Improving Use Case Based Requirements Using Formally Grounded Speci cations ?
• Architecture Speci c Models: Software Design on Abstract Platforms ?
• Towards a Well-Founded UML-based Development Method Egidio Astesiano -Gianna Reggio
• A Casl Formal Definition of UML Active Classes and Associated State Machines
• From Conditional Specifications to Interaction A Journey from Formal to Visual Means to Model Behaviour
• ' ( ) 0 1 2 0 3 4 5 6 7 8 ( 9 2 @ @ 3 6 7 4 5 A B ( C 2 D 3 6 E 3 F G H G I P Q R S T U V R W X
• From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method
• ! " # $ # % & ' ( ) ' # 0 1 % 2 3 # 0 1 1 0 4 ) " " # % 5 6 7 6 2 8 1 # 9 ) @ ' # ( A0 $ # 3 ) 1 % 9 0 B 6 ( 0 C D
• Requirements Capture and Specification for Enterprise Applications: a UML based attempt -Report
• ! ! " # $ $ % & ' ( ) # ( % 0 1 $ 2 % 3 4 5 # 4 ! % 6 7 8 7 9 @
• Abstract Data Types and UML Models* Heinrich Hussmann1
• Analysing UML Active Classes and Associated State A Lightweight Formal Approach
• Thirty one Problems in the Semantics of UML 1.3 Dynamics G. Reggio # R.J. Wieringa +
• ( ) 0 1 2 2 3 4 5 6 ) 7 8 9 1 8 3 @ A 4 B C D C E F G H I P Q G R S
• Metamodelling Behavioural Aspects: the Case of the UML State ( Complete Version)
• A UML-Based Method for the Commanded Behaviour Frame LIPN, Universite Paris XIII
• The ToolSet S; L; T S L T s; l; s
• 1. Introduction Math. Struct. in Comp. Science vol. pp.
• % & ' ( ) ) 0 1 2 3 & 4 ( 5 0 1 6 0 2 7 8 9 @ & A B C ( B 0 7 8 1 D E F E G H I P Q R S T P U V
• A Casl EXTENSION FOR DYNAMIC SYSTEMS CoFI Document: CASL/Summary
• CaslChart: Syntax and Semantics CoFI Document: CASL/Extension