The SCEAS System
Navigation Menu

Conferences in DBLP

Foundations of Software Engineering (SIGSOFT FSE) (sigsoft)
2001 ()

  1. André van der Hoek, Marija Mikic-Rakic, Roshanak Roshandel, Nenad Medvidovic
    Taming architectural evolution. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:1-10 [Conf]
  2. Yoshitomi Morisawa, Koji Torii
    An architectural style of product lines for distributed processing systems, and practical selection method. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:11-20 [Conf]
  3. Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
    A graph based architectural (Re)configuration language. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:21-32 [Conf]
  4. Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
    An architecture for flexible, evolvable process-driven user-guidance environments. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:33-43 [Conf]
  5. Nima Kaveh, Wolfgang Emmerich
    Deadlock detection in distribution object systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:44-51 [Conf]
  6. Ramesh Jagannathan, Paolo A. G. Sivilotti
    Increasing client-side confidence in remote component implementations. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:52-61 [Conf]
  7. Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
    A micromodularity mechanism. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf]
  8. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Detecting implied scenarios in message sequence chart specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:74-82 [Conf]
  9. Peter Wendorff
    A formal approach to the assessment and improvement of terminological models used in information systems engineering. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:83-87 [Conf]
  10. Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Greg Smolyn
    Using aspectC to improve the modularity of path-specific customization in operating system code. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:88-98 [Conf]
  11. Kevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen
    The structure and value of modularity in software design. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:99-108 [Conf]
  12. Luca de Alfaro, Thomas A. Henzinger
    Interface automata. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:109-120 [Conf]
  13. Paola Inverardi, Massimo Tivoli
    Automatic synthesis of deadlock free connectors for COM/DCOM applications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:121-131 [Conf]
  14. Leigh A. Davis, Rose F. Gamble, Jamie Payton, Gerður Jónsdóttir, Dennis J. Underwood
    A notation for problematic architecture interactions. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:132-141 [Conf]
  15. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
    Using symbolic execution for verifying safety-critical systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:142-151 [Conf]
  16. Kathi Fisler, Shriram Krishnamurthi
    Modular verification of collaboration-based software designs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:152-163 [Conf]
  17. Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
    Automatic abstraction for model checking software systems with interrelated numeric constraints. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:164-174 [Conf]
  18. Norman Ramsey, Elöd Csirmaz
    An algebraic approach to file synchronization. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:175-185 [Conf]
  19. Gregor Engels, Jochen Malte Küster, Reiko Heckel, Luuk Groenewegen
    A methodology for specifying and analyzing consistency of object-oriented behavioral models. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:186-195 [Conf]
  20. Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
    Combining UML and formal notations for modelling real-time systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:196-206 [Conf]
  21. Chris Lüer, David S. Rosenblum
    WREN---an environment for component-based development. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:207-217 [Conf]
  22. Jens H. Jahnke
    Engineering component-based net-centric systems for embedded applications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:218-228 [Conf]
  23. Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
    Behavioral contracts and behavioral subtyping. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:229-236 [Conf]
  24. Jon Edvardsson, Mariam Kamkar
    Analysis of the constraint solver in UNA based test data generation. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:237-245 [Conf]
  25. William Dickinson, David Leon, Andy Podgurski
    Pursuing failure: the distribution of program failures in a profile space. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:246-255 [Conf]
  26. Atif M. Memon, Mary Lou Soffa, Martha E. Pollack
    Coverage criteria for GUI testing. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:256-267 [Conf]
  27. Reidar Conradi, Tore Dybå
    An empirical study on the utility of formal routines to transfer knowledge and experience. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:268-276 [Conf]
  28. Bernd G. Freimut, Susanne Hartkopf, Peter Kaiser, Jyrki Kontio, Werner Kobitzsch
    An industrial case study of implementing software risk management. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:277-287 [Conf]
  29. Forrest Shull, Jeffrey Carver, Guilherme Travassos
    An empirical methodology for introducing software processes. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:288-296 [Conf]
  30. Premysl Brada
    Component revision identification based on IDL/ADL component specification. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:297-298 [Conf]
  31. Jacky Estublier, Hervé Verjus, Pierre-Yves Cunin
    Modelling and managing software federations. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:299-300 [Conf]
  32. Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
    STG: a tool for generating symbolic test programs and oracles from operational specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:301-302 [Conf]
  33. David A. Basin, Frank Rittinger, Luca Viganò
    A formal data-model of the CORBA security service. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:303-304 [Conf]
  34. Vugranam C. Sreedhar
    York: programming software components. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:305-306 [Conf]
  35. Vincenzo Ambriola, R. Mark Greenwood
    8th European workshop on software process technology: report and future directions. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:307-308 [Conf]
  36. Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni
    Software architecture in a changing world: developing design strategies that anticipate change. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:309-310 [Conf]
  37. Wolfgang Emmerich, Nima Kaveh
    Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:311-312 [Conf]
  38. Gregor Kiczales, Erik Hilsdale
    Aspect-oriented programming. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:313- [Conf]
  39. Kurt C. Wallnau, Scott A. Hissam, Robert C. Seacord
    Half day tutorial in methods of component-based software engineering essential concepts and classroom experience. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:314-315 [Conf]
  40. Martin Lippert, Stefan Roock
    Adapting XP to complex application domains. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:316-317 [Conf]
  41. Engin Kirda
    Engineering of Web services with XML and XSL. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:318-319 [Conf]
  42. Paul Grünbacher, Barry W. Boehm
    EasyWinWin: a groupware-supported methodology for requirements negotiation. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:320-321 [Conf]
  43. Mike Mannion, Hermann Kaindl
    Requirements-based product line engineering. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:322-323 [Conf]
  44. Albert Zündorf
    From use cases to code---rigorous software development with UML. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:324-325 [Conf]
  45. Karl Aberer, Manfred Hauswirth
    Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:326-327 [Conf]
  46. Alexander Ran
    Fundamental concepts for practical software architecture. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:328-329 [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