Behavioural analysis of the enterprise JavaBeans component architecture
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Engineering component-based net-centric systems for embedded applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Interaction points: exploiting operating system mechanisms for inter-component communications
ACM SIGOPS Operating Systems Review
New Issues in Object Interoperability
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A feature manager approach to the analysis of component-interactions
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Supporting software composition at the programming language level
Science of Computer Programming - Special issue on new software composition concepts
Student evaluation system for WBE based on learning components and agent technology
WBE'06 Proceedings of the 5th IASTED international conference on Web-based education
XSnippet: mining For sample code
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
A programming method for building component-based commercial software for image processing
ISTASC'05 Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation
Certification process of software components
ACM SIGSOFT Software Engineering Notes
Managing scientific software complexity with Bocca and CCA
Scientific Programming - Complexity in Scalable Computing
Multiple-parameter coupling metrics for layered component-based software
Software Quality Control
Software composition with Linda
Computer Languages, Systems and Structures
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Component Integration with C-TILCO
Electronic Notes in Theoretical Computer Science (ENTCS)
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Component-based engineering of distributed embedded control software
Component-Based Software Development for Embedded Systems
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Comparison and evaluation of source code mining tools and techniques: A qualitative approach
Intelligent Data Analysis
Hi-index | 0.00 |