article

Assisting requirement formalization by means of natural language translation

Authors:

P. MoreschiniAuthors Info & Claims

Formal Methods in System Design, Volume 4, Issue 3

Pages 243 - 263

https://doi.org/10.1007/BF01384048

Published: 01 May 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Dar HImtiaz SLali M(2022)Reducing Requirements Ambiguity via GamificationComputational Intelligence and Neuroscience10.1155/2022/31834112022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/3183411
He JBartocci ENičković DIsakovic HGrosu RDwyer MDamian DZeller A(2022)DeepSTLProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510171(610-622)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510171
Nguena Timo O(2021)Mining Precise Test Oracle Modelled by FSMTesting Software and Systems10.1007/978-3-031-04673-5_2(20-36)Online publication date: 10-Nov-2021
https://dl.acm.org/doi/10.1007/978-3-031-04673-5_2
Show More Cited By

Index Terms

Assisting requirement formalization by means of natural language translation

Recommendations

From formal specifications to natural language: a case study
ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

Because software specifications often serve as a formal contract between the developer and the customer, systems have been proposed that help the software client better understand specifications by automatically paraphrasing them in natural language. ...
Defects in natural language requirement specifications at Mercedes-Benz: An investigation using a combination of legacy data and expert opinion
RE '12: Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)

Natural language (NL) requirement specifications are widely used in industry, but ensuring high quality in these specifications is not easy. This work investigates in an empirical study the typical defect type distributions in current NL requirement ...
Processing Natural Language Software Requirement Specifications
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)

Ambiguity in requirement specifications causes numerous problems; for example in defining customer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing the implications of system change requests. A direct appeal to formal ...

Comments

Information & Contributors

Information

Published In

cover image Formal Methods in System Design

Formal Methods in System Design Volume 4, Issue 3

May 1994

97 pages

ISSN:0925-9856

Editors:
Robert K. Brayton
Univ. of California, Berkeley
,
Edmund M. Clarke
Carnegie Mellon Univ., Pittsburgh, PA
,
P. A. Subrahmanyam
AT&T Bell Labs, Holmdel, NJ

Issue’s Table of Contents

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 May 1994

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dar HImtiaz SLali M(2022)Reducing Requirements Ambiguity via GamificationComputational Intelligence and Neuroscience10.1155/2022/31834112022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/3183411
He JBartocci ENičković DIsakovic HGrosu RDwyer MDamian DZeller A(2022)DeepSTLProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510171(610-622)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510171
Nguena Timo O(2021)Mining Precise Test Oracle Modelled by FSMTesting Software and Systems10.1007/978-3-031-04673-5_2(20-36)Online publication date: 10-Nov-2021
https://dl.acm.org/doi/10.1007/978-3-031-04673-5_2
(2019)Software inspectionsInternational Journal of Computer Applications in Technology10.5555/3337425.333742859:4(296-317)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.5555/3337425.3337428
Aceituna DDo HSrinivasan SJalote PBriand LHoek A(2014)A systematic approach to transforming system requirements into model checking specificationsCompanion Proceedings of the 36th International Conference on Software Engineering10.1145/2591062.2591183(165-174)Online publication date: 31-May-2014
https://dl.acm.org/doi/10.1145/2591062.2591183
Ferrari ASpagnolo GMartelli GMenabeni S(2014)From commercial documents to system requirementsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-013-0298-616:6(647-667)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/s10009-013-0298-6
Cimatti ARoveri MSusi ATonetta S(2013)Validation of requirements for hybrid systemsACM Transactions on Software Engineering and Methodology10.1145/2377656.237765921:4(1-34)Online publication date: 7-Feb-2013
https://dl.acm.org/doi/10.1145/2377656.2377659
Vu DAoki TTrong GHluchy LQuyet TCastelli EDuc KChi MTran V(2012)Faithfully formalizing OSEK/VDX operating system specificationProceedings of the 3rd Symposium on Information and Communication Technology10.1145/2350716.2350721(13-20)Online publication date: 23-Aug-2012
https://dl.acm.org/doi/10.1145/2350716.2350721
Chiappini ACimatti AMacchi LRebollo ORoveri MSusi ATonetta SVittorini BKramer JBishop JDevanbu PUchitel S(2010)Formalization and validation of a subset of the European Train Control SystemProceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 210.1145/1810295.1810312(109-118)Online publication date: 1-May-2010
https://dl.acm.org/doi/10.1145/1810295.1810312
Cavada RCimatti AMariotti AMattarei CMicheli AMover SPensallorto MRoveri MSusi ATonetta S(2009)Supporting Requirements ValidationProceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2009.49(665-667)Online publication date: 16-Nov-2009
https://dl.acm.org/doi/10.1109/ASE.2009.49
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

Cited By

Index Terms

Recommendations

From formal specifications to natural language: a case study

Defects in natural language requirement specifications at Mercedes-Benz: An investigation using a combination of legacy data and expert opinion

Processing Natural Language Software Requirement Specifications

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations