Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Model Checking in Practice: The T9000 Virtual Channel Processor
IEEE Transactions on Software Engineering
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A case study in model checking software systems
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Design reuse in hypermedia applications development
HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Proceedings of the 20th international conference on Software engineering
Design components: toward software composition at the design level
Proceedings of the 20th international conference on Software engineering
Dynamic views of SGML tagged documents
SIGDOC '99 Proceedings of the 17th annual international conference on Computer documentation
Proceedings of the 22nd international conference on Software engineering
Communication and Concurrency
Computer Networks
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
A Pattern-Based Approach to Structural Design Composition
COMPSAC '99 23rd International Computer Software and Applications Conference
A Formal Approach to Architectural Design Patterns
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Towards a Unified Catalog of Hypermedia Design Patterns
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
Experience Report: Correcting System Failure in a COTS Information System
ICSM '98 Proceedings of the International Conference on Software Maintenance
Validating Component Compositions in Software System Generators
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Disaster in London: the LAS case study
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Model-based component framework for developing domain applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
| Hi-index | 0.00 |
Component-based software development aims at building software system by assembling software components to reduce cost, risk and time-to-market. However, conflicts among components constitute a crucial barrier to successful software composition. In this paper, we present an approach to analyze the properties of components and their compositions in order to detect and correct composition errors. We also demonstrate how model checking can be used to verify properties about the composition of design components. Furthermore, using a hypermedia case study, we show how to represent, instantiate, and integrate design components, and how to find composition errors by applying model checking techniques.