The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianna Reggio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Egidio Astesiano, Gianna Reggio
    An Qutline of the SMoLCS Approach. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:81-113 [Conf]
  2. Egidio Astesiano, Gianna Reggio
    On the Specification of the Firing Squad Problem. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:137-156 [Conf]
  3. Egidio Astesiano, Gianna Reggio
    The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:81-116 [Conf]
  4. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Data in a Concurrent Environment. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  5. Gianna Reggio
    Entities: An Institution for Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:246-265 [Conf]
  6. Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
    An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:91-116 [Conf]
  7. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:273-292 [Conf]
  8. Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio
    Algebraic Specification at Work. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:26-42 [Conf]
  9. Maura Cerioli, Gianna Reggio
    Algebraic-Oriented Institutions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:201-208 [Conf]
  10. Gianna Reggio, Lorenzo Repetto
    CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:243-257 [Conf]
  11. Christine Choppy, Gianna Reggio
    Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:19-28 [Conf]
  12. Egidio Astesiano, Gianna Reggio
    From Conditional Specifications to Interaction Charts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:167-189 [Conf]
  13. Egidio Astesiano, Gianna Reggio
    Algebraic Specification of Concurrency. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:1-39 [Conf]
  14. Gianna Reggio
    Event Logic for Specifying Abstract Dynamic Data Types. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:292-309 [Conf]
  15. Mohamed Bettaz, Gianna Reggio
    A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:98-112 [Conf]
  16. Maura Cerioli, Gianna Reggio
    Institutions for Very Abstract Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:113-127 [Conf]
  17. Eva Coscia, Gianna Reggio
    Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:161-181 [Conf]
  18. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Data in a Concurrent Environment. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:140-159 [Conf]
  19. Egidio Astesiano, Gianna Reggio
    A Dynamic Specification of the RPC-Memory Problem. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:67-108 [Conf]
  20. Roel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek
    Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:49-55 [Conf]
  21. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    From ADT to UML-Like Modelling. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:246- [Conf]
  22. Christine Choppy, Gianna Reggio
    Improving Use Case Based Requirements Using Formally Grounded Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:244-260 [Conf]
  23. Eva Coscia, Gianna Reggio
    JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:77-97 [Conf]
  24. Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann
    Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:127-146 [Conf]
  25. Gianna Reggio, Maura Cerioli, Egidio Astesiano
    Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:171-186 [Conf]
  26. Catalin Amza, Gianna Reggio
    A Notation for Component-Based Design of Java Applications. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2002, pp:155-164 [Conf]
  27. Gianna Reggio
    Towards a Precise UML-Based Development Method. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2004, pp:124- [Conf]
  28. Egidio Astesiano, Gianna Reggio
    A Metalanguage for the Formal Requirement Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:110-128 [Conf]
  29. Gianna Reggio, Mauro Larosa
    A Graphic Notation for Formal Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:40-61 [Conf]
  30. Gianna Reggio
    A Non-Standard Inductive Semantics. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:362-372 [Conf]
  31. Christine Choppy, Gianna Reggio
    Using UML for Problem Frame Oriented Software Development. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:239-244 [Conf]
  32. Egidio Astesiano, Gianna Reggio
    A Syntax-Directed Approach to the Semantics of Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:571-576 [Conf]
  33. Egidio Astesiano, Gianna Reggio
    UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:127-134 [Conf]
  34. Egidio Astesiano, Gianna Reggio
    Specifying Reactive Systems by Abstract Events. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:122-131 [Conf]
  35. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Processes as Data Types: Observational Semantics and Logic. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:1-20 [Conf]
  36. Egidio Astesiano, Gianna Reggio, Martin Wirsing
    Relational Specifications and Observational Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:209-217 [Conf]
  37. Egidio Astesiano, Gianna Reggio, Elena Zucca
    Stores as Homomorphisms and their Transformations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:242-251 [Conf]
  38. Gerardo Costa, Gianna Reggio
    Abstract Dynamic Data Types: A Temporal Logic Approach. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:103-112 [Conf]
  39. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:1-15 [Conf]
  40. Egidio Astesiano, Gianna Reggio
    Tight Structuring for Precise UML-Based Requirement Specifications. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:16-34 [Conf]
  41. Egidio Astesiano, Gianna Reggio
    A Discipline for Handling Feature Interaction. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:95-119 [Conf]
  42. Egidio Astesiano, Gianna Reggio
    Towards a Well-Founded UML-Based Development Method. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:102-0 [Conf]
  43. Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio
    From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:578-585 [Conf]
  44. Egidio Astesiano, Gianna Reggio
    Knowledge structuring and representation in requirement specificaiton. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:143-150 [Conf]
  45. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Generalized Bisimulation in Relational Specifications. [Citation Graph (0, 0)][DBLP]
    STACS, 1988, pp:207-226 [Conf]
  46. Egidio Astesiano, Gianna Reggio
    Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:311-322 [Conf]
  47. Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
    On the Parameterized Algebraic Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:342-358 [Conf]
  48. Egidio Astesiano, Gianna Reggio
    SMoLCS-Driven Concurrent Calculi. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:169-201 [Conf]
  49. Egidio Astesiano, Gianna Reggio
    Formalism and Method. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:93-114 [Conf]
  50. Egidio Astesiano, Gianna Reggio, Franco Morando
    The SMoLCS ToolSet. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:801-802 [Conf]
  51. Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille
    Consistency Problems in UML-Based Software Development. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:1-12 [Conf]
  52. Gianna Reggio
    Tutorials at the MODELS 2005 Conference. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:715-718 [Conf]
  53. Egidio Astesiano, Gianna Reggio, Maura Cerioli
    From Formal Techniques to Well-Founded Software Development Methods. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:132-150 [Conf]
  54. Egidio Astesiano, Gianna Reggio
    An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:56-81 [Conf]
  55. Christine Choppy, Gianna Reggio
    Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:106-125 [Conf]
  56. Egidio Astesiano, Gianna Reggio
    Labelled transition logic: an outline. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:11-12, pp:831-879 [Journal]
  57. Christine Choppy, Gianna Reggio
    A UML-based approach for problem frame oriented software development. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:14, pp:929-954 [Journal]
  58. Christine Choppy, Gianna Reggio
    A formally grounded software specification method. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:52-86 [Journal]
  59. Maura Cerioli, Gianna Reggio
    Very Abstract Specifications: A Formalism Independent Approach. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:1, pp:17-66 [Journal]
  60. Egidio Astesiano, Gianna Reggio, Elena Zucca
    Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:3, pp:163-190 [Journal]
  61. Egidio Astesiano, Alessandro Giovini, Gianna Reggio
    Observational Structures and Their Logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:1, pp:249-283 [Journal]
  62. Egidio Astesiano, Gianna Reggio
    Formalism and method. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:236, n:1-2, pp:3-34 [Journal]
  63. Gerardo Costa, Gianna Reggio
    Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:513-554 [Journal]

  64. A Modelling Approach with Coloured Petri Nets. [Citation Graph (, )][DBLP]


  65. Modeling Business within a UML-Based Rigorous Software Development Approach. [Citation Graph (, )][DBLP]


  66. Gesper: Support to Capitalize on Experience in a Network of SMEs. [Citation Graph (, )][DBLP]


  67. A method for developing UML state machines. [Citation Graph (, )][DBLP]


  68. A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). [Citation Graph (, )][DBLP]


  69. On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. [Citation Graph (, )][DBLP]


  70. On the effectiveness of screen mockups in requirements engineering: results from an internal replication. [Citation Graph (, )][DBLP]


  71. Revising the UML Collaborations: A Well-Founded Approach. [Citation Graph (, )][DBLP]


Search in 0.323secs, Finished in 0.326secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002