The Z notation: a reference manual
The Z notation: a reference manual
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Algebra of programming
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Components as processes: an exercise in coalgebraic modeling
Fourth International Conference on Formal methods for open object-based distributed systems IV
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Elements of a Relational Theory of Datatypes
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Parameterized programming and software architecture
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Server side web scripting in Haskell
Journal of Functional Programming
On Semantics and Refinement of UML Statecharts: A Coalgebraic View
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
A Coalgebraic Semantic Framework for Component-based Development in UML
Electronic Notes in Theoretical Computer Science (ENTCS)
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A knowledge-based framework for extracting components in agile systems development
Information Technology and Management
Architectural Refinement and Notions of Intransitive Noninterference
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Science of Computer Programming
| Hi-index | 0.01 |
The complexity and ubiquity achieved by software in the present world makes it imperative, more than ever, the availability of both technologies and sound methods to drive its development. Programming 'in--the--large', component--based programming and software architecture are popular expressions which embody this concern and correspond to driving forces in current software engineering. In such a context, this paper reports on the research, which constitutes the PhD project of the author, on a formal calculus for reasoning about and transforming component--based architectures.