Ferreira JJohnson SMendes ABrooke P(2017)Certified Password QualityIntegrated Formal Methods10.1007/978-3-319-66845-1_27(407-421)Online publication date: 27-Aug-2017
https://doi.org/10.1007/978-3-319-66845-1_27
Anane R(1998)Holistic design of a programming systemACM SIGSOFT Software Engineering Notes10.1145/272263.27228223:1(72-76)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1145/272263.272282
Bellegarde F(2005)A transformation system combining partial evaluation with term rewritingHigher-Order Algebra, Logic, and Term Rewriting10.1007/3-540-58233-9_3(40-55)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-58233-9_3
Show More Cited By

Index Terms

Functional programming: executable specifications and program transformations
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

Executable requirements specifications using triggered message sequence charts
ICDCIT'05: Proceedings of the Second international conference on Distributed Computing and Internet Technology

Triggered Message Sequence Charts (TMSCs) are a scenario-based visual formalism for early stage requirements specifications of distributed systems. In this paper, we present a formal operational semantics for TMSCs that allow the simulation of TMSC ...
Informality in Program Specifications

This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the ...
Executable specifications of resource-bounded agents

Logical theories of intelligent (or rational) agents have been refined and improved over the past 20 years of research. Such logical theories are used in many ways, one of which is as the basis for executable agent specifications. Here, agents are ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 3

May 1989

288 pages

ISSN:0163-5948

DOI:10.1145/75200

Editor:
Sol J. Greenspan

Issue’s Table of Contents

IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
April 1989
295 pages
ISBN:0897913051
DOI:10.1145/75199
Chairman:
Sol J. Greenspan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1989

Published in SIGSOFT Volume 14, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
318
Total Downloads

Downloads (Last 12 months)55
Downloads (Last 6 weeks)16

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ferreira JJohnson SMendes ABrooke P(2017)Certified Password QualityIntegrated Formal Methods10.1007/978-3-319-66845-1_27(407-421)Online publication date: 27-Aug-2017
https://doi.org/10.1007/978-3-319-66845-1_27
Anane R(1998)Holistic design of a programming systemACM SIGSOFT Software Engineering Notes10.1145/272263.27228223:1(72-76)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1145/272263.272282
Bellegarde F(2005)A transformation system combining partial evaluation with term rewritingHigher-Order Algebra, Logic, and Term Rewriting10.1007/3-540-58233-9_3(40-55)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-58233-9_3
Nicholas Graham TKock G(2005)Domesticating imperative constructs so that they can live in a functional worldProgramming Language Implementation and Logic Programming10.1007/3-540-54444-5_87(51-62)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-54444-5_87
Cheung THellestrand G(1995)Multi-level equivalence in design transformationProceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair10.1109/ASPDAC.1995.486370(559-566)Online publication date: 1995
https://doi.org/10.1109/ASPDAC.1995.486370

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

References

Cited By

Index Terms

Recommendations

Executable requirements specifications using triggered message sequence charts

Informality in Program Specifications

Executable specifications of resource-bounded agents

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations