Article

Free access

Compositional specification of software architecture

Author:

John PenixAuthors Info & Claims

ISAW '98: Proceedings of the third international workshop on Software architecture

Pages 113 - 116

https://doi.org/10.1145/288408.288437

Published: 01 November 1998 Publication History

PDF eReader

References

[1]

Gregory D. Abowd, Robert Allen, and David Garlan. Formalizing style to understand descriptions of software architecture. ACM l'kansactions on Software Engineering and Methodology, 4(4), 1995.

Digital Library

Google Scholar

[2]

R. Allen and D. Garlan. Formalizing Architectural Connection. In PTOC. Sixteenth International Conference on Software Engineering, pages 71-80, May 1994.

Digital Library

Google Scholar

[3]

Ted J. Biggerstaff and Alan J. Perlis, editors. Software Reusability - Concepts and Models, volume 1. ACM Press, 1989.

Crossref

Google Scholar

[4]

R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In ZJCAZ5, pages 1045- 58, 1977.

Google Scholar

[5]

Mark J. Gerkin. Formal Foundations for the Specification of Software Architecture. PhD thesis, Air Force Institute of Technology, March 1995.

Digital Library

Google Scholar

[6]

Richard Jiillig and Yellamraju V. Srinivas. Diagrams for software synthesis. In The Eight Knowledge-Based Software Engineering Conference, pages 10-19. IEEE, September 1993.

Digital Library

Google Scholar

[7]

Michael Lowry, Klaus Havelund, and John Penix. Verification and validation of AI systems that control deepspace spacecraft. In Proceedings of the fOth Znternational Symposium on Methodologies for Intelligent Systems (ZSMZS'97), act 1997. Invited Paper.

Digital Library

Google Scholar

[8]

Mark Moriconi, Xiaolei Qian, and Bob Riemenschneider. Correct architecture refinement. IEEE Tkansactions on Software Engineering, 21(4):356-372, April 1995.

Digital Library

Google Scholar

[9]

John Penix. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, University of Cincinnati, April 1998.

Digital Library

Google Scholar

[10]

John Penix and Perry Alexander. Toward automated component adaptation. In Proceedings of the Ninth International Conference on Software Engineering and Knowledge Engineering, pages 535-542. Knowledge Systems Institute, June 1997.

Google Scholar

[11]

John Penix, Perry Alexander, and Klaus Havelund. Declarative specification of software architectures. In Proceedings of the 12th International Automated Software Engineering Conference, pages 201-209. IEEE Press, nov 1997.

Digital Library

Google Scholar

[12]

Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.

Digital Library

Google Scholar

Cited By

View all

Rodano MGiammarco K(2013)A Formal Method for Evaluation of a Modeled System ArchitectureProcedia Computer Science10.1016/j.procs.2013.09.26320(210-215)Online publication date: 2013
https://doi.org/10.1016/j.procs.2013.09.263
Sugumaran VTanniru MStorey V(2008)A knowledge-based framework for extracting components in agile systems developmentInformation Technology and Management10.1007/s10799-007-0025-79:1(37-53)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1007/s10799-007-0025-7
Penix J(1999)Deductive synthesis of event-based software architectures14th IEEE International Conference on Automated Software Engineering10.1109/ASE.1999.802342(311-314)Online publication date: 1999
https://doi.org/10.1109/ASE.1999.802342

Index Terms

Compositional specification of software architecture
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Formal foundations for the specification of software architecture
Compositional specification of commercial contracts

We present a declarative language for compositional specification of contracts governing the exchange of resources. It extends Eber and Peyton Jones's declarative language for specifying financial contracts (Jones et al. in The Fun of Programming. 2003) ...
Retrospective software specification

Experience gained in successfully applying formal methods to an animated programming environment (APE) is reported. These techniques were applied to specify precisely some features of the APE system. The benefits of applying formal methods particularly ...

Comments

Information & Contributors

Information

Published In

ISAW '98: Proceedings of the third international workshop on Software architecture

November 1998

167 pages

ISBN:1581130813

DOI:10.1145/288408

Editors:
Jeff N. Magee
Imperial College, London, UK
,
Dewayne E. Perry
Bell Labs, Murray Hill, NJ

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT98

Sponsor:

SOFT98: Sixth International Symposium on the Foundations of Software Engineering

November 1 - 5, 1998

Florida, Orlando, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
346
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)9

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rodano MGiammarco K(2013)A Formal Method for Evaluation of a Modeled System ArchitectureProcedia Computer Science10.1016/j.procs.2013.09.26320(210-215)Online publication date: 2013
https://doi.org/10.1016/j.procs.2013.09.263
Sugumaran VTanniru MStorey V(2008)A knowledge-based framework for extracting components in agile systems developmentInformation Technology and Management10.1007/s10799-007-0025-79:1(37-53)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1007/s10799-007-0025-7
Penix J(1999)Deductive synthesis of event-based software architectures14th IEEE International Conference on Automated Software Engineering10.1109/ASE.1999.802342(311-314)Online publication date: 1999
https://doi.org/10.1109/ASE.1999.802342

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Formal foundations for the specification of software architecture

Compositional specification of commercial contracts

Retrospective software specification

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Formal foundations for the specification of software architecture

Compositional specification of commercial contracts

Retrospective software specification

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations