FSE 2001
46 papers
- 8th European workshop on software process technology: report and future directions
- A formal approach to the assessment and improvement of terminological models used in information systems engineering
- A formal data-model of the CORBA security service
- A graph based architectural (Re)configuration language
- A methodology for specifying and analyzing consistency of object-oriented behavioral models
- A micromodularity mechanism
- A notation for problematic architecture interactions
- Adapting XP to complex application domains
- An algebraic approach to file synchronization
- An architectural style of product lines for distributed processing systems, and practical selection method
- An architecture for flexible, evolvable process-driven user-guidance environments
- An empirical methodology for introducing software processes
- An empirical study on the utility of formal routines to transfer knowledge and experience
- An industrial case study of implementing software risk management
- Analysis of the constraint solver in UNA based test data generation
- Aspect-oriented programming
- Automatic abstraction for model checking software systems with interrelated numeric constraints
- Automatic synthesis of deadlock free connectors for COM/DCOM applications
- Behavioral contracts and behavioral subtyping
- Combining UML and formal notations for modelling real-time systems
- Component revision identification based on IDL/ADL component specification
- Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model
- Coverage criteria for GUI testing
- Deadlock detection in distribution object systems
- Detecting implied scenarios in message sequence chart specifications
- EasyWinWin: a groupware-supported methodology for requirements negotiation
- Engineering component-based net-centric systems for embedded applications
- Engineering of Web services with XML and XSL
- From use cases to code---rigorous software development with UML
- Fundamental concepts for practical software architecture
- Half day tutorial in methods of component-based software engineering essential concepts and classroom experience
- Increasing client-side confidence in remote component implementations
- Interface automata
- Modelling and managing software federations
- Modular verification of collaboration-based software designs
- Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems
- Pursuing failure: the distribution of program failures in a profile space
- Requirements-based product line engineering
- STG: a tool for generating symbolic test programs and oracles from operational specifications
- Software architecture in a changing world: developing design strategies that anticipate change
- Taming architectural evolution
- The structure and value of modularity in software design
- Using aspectC to improve the modularity of path-specific customization in operating system code
- Using symbolic execution for verifying safety-critical systems
- WREN---an environment for component-based development
- York: programming software components