ACM Transactions on Computer Systems (TOCS)
Parallel program design: a foundation
Parallel program design: a foundation
Reusability framework, assessment, and directions
Software reusability: vol. 1, concepts and models
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Eiffel: the language
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Retrieving reusable software by sampling behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inside OLE (2nd ed.)
Object management architecture guide (3rd ed.)
Object management architecture guide (3rd ed.)
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
High-level library mapping for arithmetic components
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A new algorithm for implementation of design functions by available devices
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Evolving algebras 1993: Lipari guide
Specification and validation methods
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
A compositional approach to performance modelling
A compositional approach to performance modelling
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The formalization of message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
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
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Software architecture in practice
Software architecture in practice
The QUEST-approach for the performance evaluation of SDL-systems
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
Polynomial methods for component matching and verification
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Communications of the ACM
Investigating and improving a COTS-based software development
Proceedings of the 22nd international conference on Software engineering
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Component-based product line development: the KobrA approach
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Automation support for software performance engineering
Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
A toolkit for weaving aspect oriented UML designs
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Towards a standard design language for AOSD
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Enterprise Javabeans by Example with Cdrom
Enterprise Javabeans by Example with Cdrom
Business Components Factory: A Comprehensive Overview of Component-Based Development for the Enterprise
Programming Distributed Applications with Com+ and Microsoft Visual Basic 6.0, Second Edition
Programming Distributed Applications with Com+ and Microsoft Visual Basic 6.0, Second Edition
Mastering Enterprise Javabeans
Mastering Enterprise Javabeans
The Java Language Specification
The Java Language Specification
Introduction to Modern Information Retrieval
Introduction to Modern Information Retrieval
Building product populations with software components
Proceedings of the 24th International Conference on Software Engineering
A survey of software reuse libraries
Annals of Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Making Components Contract Aware
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Acquiring COTS Software Selection Requirements
IEEE Software
OntoSeek: Content-Based Access to the Web
IEEE Intelligent Systems
Proceedings of the 8th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Using Formal Methods to Construct a Software Component Library
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Components, Interfaces and Information Models within a Platform Architecture
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
ICSR7 Workshop on Component-Based Software Development Processes
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Case Study: Componentization of an Industrial Control System
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
On the Construction of Live Timed Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TIMES - A Tool for Modelling and Implementation of Embedded Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Physical Programming: Beyond Mere Logic
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
System-Level Types for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
On Predicting Data Cache Behavior for Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
A UML Meta-model for Contract Aware Components
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An algebraic approach to the specification of stochastic systems
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
A Component Model for Field Devices
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
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
Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems
Performance Engineering, State of the Art and Current Trends
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Impact of Deep Submicron Technology on Dependability of VLSI Circuits
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Generic Architecture Descriptions for Product Lines
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
An Architectural Infrastructure for Product Families
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model
Proceedings of the tenth international symposium on Hardware/software codesign
Software technology in an automotive company: major challenges
Proceedings of the 25th International Conference on Software Engineering
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
An Integration of Deductive Retrieval into Deductive Synthesis
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Real-Time Object-Oriented Modeling (ROOM)
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
The Fragile Base Class Problem and Its Solution
The Fragile Base Class Problem and Its Solution
Automated component retrieval and adaptation using formal specifications
Automated component retrieval and adaptation using formal specifications
System-level synthesis of adaptive computing systems
System-level synthesis of adaptive computing systems
Radical Innovations of Software and Systems Engineering in the Future
Radical Innovations of Software and Systems Engineering in the Future
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Looking for better integration of design and performance engineering
SDL'03 Proceedings of the 11th international conference on System design
Hi-index | 0.00 |
No abstract available