Software—Practice & Experience
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Version control in the Inscape environment
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Interface control and incremental development in the PIC environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
Infuse: a tool for automatically managing and coordinating source changes in large systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
An axiomatic basis for computer programming
Communications of the ACM
Organizing software in a distributed environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
The logic of propagation in the inscape environment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A comparative evaluation of object definition techniques for large prototype systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A Graph Model for Software Evolution
IEEE Transactions on Software Engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
Dimensions of consistency in source versions and system compositions
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Extending the MERCURY system to support teams of Ada programmers
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
A Packaging System for Heterogeneous Execution Environments
IEEE Transactions on Software Engineering
Prism-Methodology and Process-Oriented Environment
IEEE Transactions on Software Engineering
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Supporting collaborative software development with ConversationBuilder
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Object-oriented analysis for evolving systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Toward better software automation
ACM SIGSOFT Software Engineering Notes
A Formal Framework for On-line Software Version Change
IEEE Transactions on Software Engineering
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
Experiences with an environment generation system
ICSE '91 Proceedings of the 13th international conference on Software engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Proceedings of the 1997 symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
Version models for software configuration management
ACM Computing Surveys (CSUR)
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
Software evolution and “light” semantics (extended abstract)
Proceedings of the 21st international conference on Software engineering
The geography of coordination: dealing with distance in R&D work
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Product-line architectures, aspects, and reuse (tutorial session)
Proceedings of the 22nd international conference on Software engineering
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Parallel changes in large-scale software development: an observational case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A survey of software reuse libraries
Annals of Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
Object Protocols as Functional Parsers
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A tutorial on feature oriented programming and product-lines
Proceedings of the 25th International Conference on Software Engineering
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Concern-driven design for a specification language supporting component-based software engineerin
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
ACM SIGSOFT Software Engineering Notes
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A design for evidence - based soft research
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design fragments make using frameworks easier
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hi-index | 0.00 |