The SCEAS System
Navigation Menu

Conferences in DBLP

Requirements Targeting Software and Systems Engineering (RTSE) (rtse)
1997 (conf/rtse/1997)

  1. Dines Bjørner
    Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:1-41 [Conf]
  2. Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
    Software and System Modeling Based on a Unified Formal Semantics. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:43-68 [Conf]
  3. Roel Wieringa
    Postmodern Software Design with NYAM: Not Yet Another Method. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:69-94 [Conf]
  4. 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]
  5. Valdis Berzins
    Merging Changes to Software Specifications. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:121-131 [Conf]
  6. Chris George, Do Tien Dung
    Combining and Distributing Hierarchical Systems. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:133-153 [Conf]
  7. Carlo Ghezzi, Giovanni Vigna
    Software Engineering Issues for Network Computing. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:155-177 [Conf]
  8. Maritta Heisel, Stefan Jähnichen
    A Two-Layered Approach to Support Systematic Software Development. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:179-202 [Conf]
  9. Erik Kamsties, H. Dieter Rombach
    A Framework for Evaluating System and Software Requirements Specification Approaches. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:203-222 [Conf]
  10. Joy N. Reed
    Formal Methods and Industrial-Strength Computer Networks. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:223-233 [Conf]
  11. Stefan Gruner, Manfred Nagl, Andy Schürr
    Integration Tools Supporting Development Processes. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:235-256 [Conf]
  12. Luqi
    Formal Methods and Prototyping. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:257-272 [Conf]
  13. Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
    Abstraction and Modular Verification of Infinite-State Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:273-292 [Conf]
  14. Sigurd Meldal, David C. Luckham
    NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:293-329 [Conf]
  15. Hans W. Nissen, Matthias Jarke
    Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:331-355 [Conf]
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