Interconnecting formalisms

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Interconnecting formalisms: supporting modularity, reuse and incrementality

Full text

Pdf (1.16 MB)

Source

Foundations of Software Engineering archive
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering table of contents

Washington, D.C., United States

Pages: 72 - 80

Year of Publication: 1995

ISBN:0-89791-716-2

Also published in ...

Authors

José Luiz Fiadeiro	Department of Informatics, Faculty of Sciences, University of Lisbon, Campo Grande, 1700 Lisboa, Portugal
Tom Maibaum	Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 21, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/222124.222141 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Abadi and Lamport 93	Martín Abadi , Leslie Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.73-132, Jan. 1993 [doi>10.1145/151646.151649]
	Back and Kurki-Suonio 88	R. J. R. Back , F. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.513-554, Oct. 1988 [doi>10.1145/48022.48023]
	Bougé and Francez 88	L. Bougé , N. Francez, A compositional approach to superimposition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.240-249, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73581]
	Chandy and Misra 88	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	Ehrig and Mahr 85	Hartmut Ehrig , B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
	Fiadeiro and Costa 95	J.Fiadeiro and F. Costa, "Institutions for Behaviour Specification", in E. Astesiano, G.Reggio and A.Tarlecki (eds) Recent Trends in Data Type Specification, LNCS 906, Springer Verlag 1995.
	Fiadeiro and Maibaum 91	J. Fiadeiro and T.Maibaum, "Temporal Reasoning over Deontic Specifications", Journal of Logic and Computation 2(l), 1991,357-395.
	Fiadeiro and Maibaum 92	J.Fiadeiro and T.Maibaum, "Temporal Theories as Modularisation Units for Concurrent System Specification", FormalAspects of Conywting 4(3), 1992,239-272.
	Fiadeiro and Maibaum 95	J. Fiadeiro and T.Maibaum, Categorical Semantics of Parallel Program Design, Technical Report, FCUL and Imperial College, 1995.
	Fiadeiro and Reichwein 92	J. Fiadeiro and G. Reichwein, "A Categorical Theory of Superposition", Technical Report, DMIST, 1992.
	Finkelsteirt et al 92	A. Finkelstein, J.Kramer, B .Nuseibeh, L. Finkelstein and M. Goedicke, "Viewpoints: A Framework for Integrating Multiple Perspectives in Software Development", International Journal on Software Engineering and Knowledge Engineering 2(l), 1992,31-57.
	Francez and Forman 90	Nissim Francez , Ira R. Forman, Superimposition for interacting processes, Proceedings on Theories of concurrency : unification and extension: unification and extension, p.230-245, September 1990, Amsterdam, The Netherlands
	Goguen 91	J. Goguen, "A Categorical Manifesto", Mathematical Structures in Computer Science 1(1), 1991,49-67.
	Goguen and Burstall 92	Joseph A. Goguen , Rod M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM (JACM), v.39 n.1, p.95-146, Jan. 1992 [doi>10.1145/147508.147524]
	Goguen and Ginali 78	J.Goguen and S.Ginali, "A Categorical Approach to General Systems Theory", in G.Klir (ed) Applied General Systems Research, Plenum 1978,257-270.
	Goldblatt 87	Robert Goldblatt, Logics of time and computation, Center for the Study of Language and Information, Stanford, CA, 1987
	Krueger 92	Charles W. Krueger, Software reuse, ACM Computing Surveys (CSUR), v.24 n.2, p.131-183, June 1992 [doi>10.1145/130844.130856]
	Lamport 89	Leslie Lamport, A simple approach to specifying concurrent systems, Communications of the ACM, v.32 n.1, p.32-45, Jan. 1989 [doi>10.1145/63238.63240]
	Lehman et al 84	M. M. Lehman , V. Stenning , W. M. Turski, Another look at software design methodology, ACM SIGSOFT Software Engineering Notes, v.9 n.2, p.38-53, April 1984 [doi>10.1145/1010925.1010928]
	Manna and Pnueli 91	Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
	Meseguer 89	J.Meseguer, "General Logics", in H.-D. Ebbinghaus et al (eds) Logic Colloquium 87, North-Holland 1989.
	Moriconi and Qian 94	Mark Moriconi , Xiaolei Qian, Correctness and composition of software architectures, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.164-174, December 06-09, 1994, New Orleans, Louisiana, United States
	Niskier et al 89	Celso Niskier , T. S. E. Maibaum , Daniel Schwabe, A Pluralistic Knowledge-Based Approach to Software Specification, Proceedings of the 2nd European Software Engineering Conference, p.411-423, September 11-15, 1989
	Sannella and Tarlecki 88	Donald Sannella , Andrzej Tarlecki, Specifications in an arbitrary institution, Information and Computation, v.76 n.2-3, p.165-210, February/March 1988 [doi>10.1016/0890-5401(88)90008-9]
	Sassone et al 93	Vladimiro Sassone , Mogens Nielsen , Glynn Winskel, A Classification of Models for Concurrency, Proceedings of the 4th International Conference on Concurrency Theory, p.82-96, August 23-26, 1993
	Veloso et al 85	P.Veloso, T.Maibaum and M.Sadler, "Program Development and Theory Manipulation", Proc. Third International Workshop on Software Specification and Design, London, IEEE Computer Society Press 1985,228-232.
	Zave and Jackson 93	Pamela Zave , Michael Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.4, p.379-411, Oct. 1993 [doi>10.1145/158431.158438]

CITED BY 7

	Michel Wermelinger , José Luiz Fiadeiro, Algebraic software architecture reconfiguration, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.393-409, Nov. 1999
	William N. Robinson , Suzanne D. Pawlowski , Vecheslav Volkov, Requirements interaction management, ACM Computing Surveys (CSUR), v.35 n.2, p.132-190, June 2003
	Tom Maibaum, On what exactly goes on when software is developed step-by-step, II: the sequel, Information Processing Letters, v.88 n.1-2, p.45-51, 17 October 2003
	Michel Wermelinger , José Luiz Fiadeiro, Connectors for Mobile Programs, IEEE Transactions on Software Engineering, v.24 n.5, p.331-341, May 1998
	George Spanoudakis , Anthony Finkelstein , David Till, Overlaps in Requirements Engineering, Automated Software Engineering, v.6 n.2, p.171-198, April 1999
	J. L. Fiadeiro , T. Maibaum, A Mathematical Toolbox for the Software Architec, Proceedings of the 8th International Workshop on Software Specification and Design, p.46, March 22-23, 1996
	Ebrahim Bagheri , Ali A. Ghorbani, A belief-theoretic framework for the collaborative development and integration of para-consistent conceptual models, Journal of Systems and Software, v.82 n.4, p.707-729, April, 2009