Automated Verification of Functional Interface Compatibility

.......................................................................................................................... 4

[1]  Andreas Rausch,et al.  DAiSI—Dynamic Adaptive System Infrastructure: Component Model and Decentralized Configuration Mechanism , 2014 .

[2]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[3]  Andreas Rausch,et al.  DisCComp - A Formal Model for Distributed Concurrent Components , 2007, FESCA@ETAPS.

[4]  W. Visser,et al.  Second Generation of a Java Model Checker , 2000 .

[5]  Andreas Rausch,et al.  Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[6]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[7]  Kevin L. Moore,et al.  Emergency management systems: a systems approach , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[8]  Kim Mens,et al.  Vrije Universiteit Brussel Faculteit Wetenschappen Reuse Contracts: Managing the Evolution of Reusable Assets Reuse Contracts: Managing the Evolution of Reusable Assets , 2022 .

[9]  Václav Rajlich,et al.  Modeling software evolution by evolving interoperation graphs , 2000, Ann. Softw. Eng..

[10]  Andreas Rausch,et al.  Software evolution in componentware using requirements/assurances contracts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[11]  A. Church.  An Unsolvable Problem of Elementary Number Theory , 1936 .

[12]  Douglas C. Schmidt,et al.  Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .

[13]  Ivica Crnkovic,et al.  Component-based development process and component lifecycle , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[14]  Max Mühlhäuser,et al.  MundoCore: A light-weight infrastructure for pervasive computing , 2007, Pervasive Mob. Comput..

[15]  Wojtek Kozaczynski,et al.  Component-Based Software Engineering , 1998, IEEE Software.

[16]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[17]  Markus Endler,et al.  MoCA: A Middleware for Developing Collaborative Applications for Mobile Users , 2004, IEEE Distributed Syst. Online.

[18]  Klaus Havelund,et al.  Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[19]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[20]  Andreas Rausch,et al.  Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.