article

Formal methods light

Author:

Cliff JonesAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 28, Issue 4es

Pages 121 - es

https://doi.org/10.1145/242224.242380

Published: 01 December 1996 Publication History

HTML

Abstract

No abstract available.

References

[1]

"Some Practical Problems and Their Influence on Semantics", C. B. Jones, (pp 1--17), in ESOP'96 Proceedings, Lecture Notes in Computer Science Vol. 1058, Springer-Verlag", 1996.

Digital Library

Google Scholar

[2]

"A Rigorous Approach to Formal Methods", C.B. Jones, IEEE, Computer, Vol. 29, No. 4, pp. 20--21, 1996

Google Scholar

Cited By

View all

Bowen JTurner J(2023)Interactive System Modelling for the Internet of ThingsProceedings of the ACM on Human-Computer Interaction10.1145/35932337:EICS(1-19)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1145/3593233
Ledru YBlein Ydu-Bousquet LGroz RClère ABertrand FRichardson IWeber J(2018)Requirements for a trace property language for medical devicesProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/3194696.3194699(30-33)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194696.3194699
Blein YLedru Ydu-Bousquet LGroz RGnesi SPlat NSpoletini PPelliccione P(2018)Extending specification patterns for verification of parametric tracesProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193998(10-19)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193998
Show More Cited By

Recommendations

Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
Formal Methods in CafeOBJ
FLOPS '02: Proceedings of the 6th International Symposium on Functional and Logic Programming

Formal methods are still expected to improve the practice of software engineering. The areas in which formal methods will play important roles include at least: (1) distributed component software, (2) network/system security, (3) embedded systems. ...
Formal Methods for Component Software: The Refinement Calculus Perspective
ECOOP '97: Proceedings of the Workshops on Object-Oriented Technology

We exhibit the benefits of using formal methods for constructing and documenting component software. Formal specifications provide concise and complete descriptions of black-box components and, herewith, pave the way for full encapsulation. ...

Comments

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 28, Issue 4es

Special issue: position statements on strategic directions in computing research

Dec. 1996

8 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/242224

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1996

Published in CSUR Volume 28, Issue 4es

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
391
Total Downloads

Downloads (Last 12 months)19
Downloads (Last 6 weeks)2

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bowen JTurner J(2023)Interactive System Modelling for the Internet of ThingsProceedings of the ACM on Human-Computer Interaction10.1145/35932337:EICS(1-19)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1145/3593233
Ledru YBlein Ydu-Bousquet LGroz RClère ABertrand FRichardson IWeber J(2018)Requirements for a trace property language for medical devicesProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/3194696.3194699(30-33)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194696.3194699
Blein YLedru Ydu-Bousquet LGroz RGnesi SPlat NSpoletini PPelliccione P(2018)Extending specification patterns for verification of parametric tracesProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193998(10-19)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193998
Balke TDe Vos MPadget J(2018)Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulationFuture Generation Computer Systems10.1016/j.future.2011.04.00627:8(1092-1102)Online publication date: 30-Dec-2018
https://dl.acm.org/doi/10.1016/j.future.2011.04.006
Ben Cheikh ABlein YChehida SVega GLedru Ydu Bousquet L(2018)An Environment for the ParTraP Trace Property Language (Tool Demonstration)Runtime Verification10.1007/978-3-030-03769-7_26(437-446)Online publication date: 8-Nov-2018
https://doi.org/10.1007/978-3-030-03769-7_26
Athakravi DCorapi DRusso ADe Vos MPadget JSatoh K(2013)Handling Change in Normative SpecificationsDeclarative Agent Languages and Technologies X10.1007/978-3-642-37890-4_1(1-19)Online publication date: 2013
https://doi.org/10.1007/978-3-642-37890-4_1
Balke TDe Vos MPadget JTraskas D(2011)Normative Run-Time Reasoning for Institutionally-Situated BDI AgentsProceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 0310.1109/WI-IAT.2011.49(1-4)Online publication date: 22-Aug-2011
https://dl.acm.org/doi/10.1109/WI-IAT.2011.49
CORAPI DRUSSO ADE VOS MPADGET JSATOH K(2011)Normative design using inductive learningTheory and Practice of Logic Programming10.1017/S147106841100030511:4-5(783-799)Online publication date: 6-Jul-2011
https://doi.org/10.1017/S1471068411000305
Balke TDe Vos MPadget J(2011)Normative run-time reasoning for institutionally-situated BDI agentsProceedings of the 2011 International Conference on Coordination, Organizations, Institutions, and Norms in Agent System VII10.1007/978-3-642-35545-5_8(129-148)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-35545-5_8
Balke TVillatoro D(2011)Operationalization of the sanctioning process in utilitarian artificial societiesProceedings of the 2011 International Conference on Coordination, Organizations, Institutions, and Norms in Agent System VII10.1007/978-3-642-35545-5_10(167-185)Online publication date: 3-May-2011
https://dl.acm.org/doi/10.1007/978-3-642-35545-5_10
Show More Cited By

View Options

View options

HTML Format

View this article in HTML Format.

HTML Format

Login options

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

Abstract

References

Cited By

Recommendations

Equivalence of formal semantics definition methods

Formal Methods in CafeOBJ

Formal Methods for Component Software: The Refinement Calculus Perspective

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

HTML Format

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations