Conferences in DBLP
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 ] 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 ] 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 ] 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 ] Nima Kaveh , Wolfgang Emmerich Deadlock detection in distribution object systems. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:44-51 [Conf ] 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 ] Daniel Jackson , Ilya Shlyakhter , Manu Sridharan A micromodularity mechanism. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf ] 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 ] 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 ] 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 ] 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 ] Luca de Alfaro , Thomas A. Henzinger Interface automata. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:109-120 [Conf ] 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 ] 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 ] 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 ] Kathi Fisler , Shriram Krishnamurthi Modular verification of collaboration-based software designs. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:152-163 [Conf ] 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 ] Norman Ramsey , Elöd Csirmaz An algebraic approach to file synchronization. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:175-185 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Premysl Brada Component revision identification based on IDL/ADL component specification. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:297-298 [Conf ] 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 ] 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 ] 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 ] Vugranam C. Sreedhar York: programming software components. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:305-306 [Conf ] 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 ] 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 ] 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 ] Gregor Kiczales , Erik Hilsdale Aspect-oriented programming. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:313- [Conf ] 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 ] Martin Lippert , Stefan Roock Adapting XP to complex application domains. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:316-317 [Conf ] Engin Kirda Engineering of Web services with XML and XSL. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:318-319 [Conf ] 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 ] Mike Mannion , Hermann Kaindl Requirements-based product line engineering. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:322-323 [Conf ] 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 ] 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 ] Alexander Ran Fundamental concepts for practical software architecture. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:328-329 [Conf ]