Selected papers of the Second Workshop on Concurrency and compositionality
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering - Special issue on software architecture
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Software architecture in practice
Software architecture in practice
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Uncovering architectural mismatch in component behavior
Science of Computer Programming
COTS Integration: Plug and Pray?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
A Practical and Complete Algorithm for Testing Real-Time Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An approach to integration testing based on architectural descriptions
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Software testing: perception on exploration and ad-libbing
MACMESE'09 Proceedings of the 11th WSEAS international conference on Mathematical and computational methods in science and engineering
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Robustness of composed timed systems
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Conformance testing of real-time component based systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Hi-index | 0.00 |