Module interconnection languages
Journal of Systems and Software
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Coordination languages and their significance
Communications of the ACM
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Software architecture: practice, potential, and pitfalls
ICSE '94 Proceedings of the 16th international conference on Software engineering
Specification of abstract data types
Specification of abstract data types
Software architecture in practice
Software architecture in practice
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
A Discipline of Programming
ICSE '93 Selected papers from the Workshop on Studies of Software Design
On the Emergence of Properties in Component-Based Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
Categories for Software Engineering
Categories for Software Engineering
Principles of Program Design
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Can Component/Service-Based Systems Be Proved Correct?
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
A perspective on service orchestration
Science of Computer Programming
Hi-index | 0.00 |
Web-services keep making headlines, not only in technical journals but also in the wider media like The Economist. Is this just a sales plot of the fragile software industry targeted to the companies and organisations that want to operate in the new economy as enabled by the internet and wireless communication? Or is there a new paradigm as far as software development is concerned? Should we, scientists, regard this as a challenge? Or dismiss it as hype? In this paper, we analyse these questions in the context of the notions of complexity that arise in software development and the methods and techniques that can be offered to address them.