Requirements processing methods and tools

We are working on methods and tools for automated processing requirements written in natural language. Primarily we are focusing on processing textual use-cases.

In particular, we are targeting following areas and topics:

  • formal verification of temporal constraints of textual use-cases
  • domain model elicitation from natural language specification
  • recovering traceability links between code and natural language specification

Software projects — platforms and tools

A list of our projects related to requirements processing methods is below.

Tool Description
FOAM A tool for formal verification of annotated use-case models
DME A tool for domain model elicitation

Contact

Petr Hnetynka hnetynka<at-sign>d3s.mff.cuni.cz
Jiri Vinarek vinarek<at-sign>d3s.mff.cuni.cz

References

2015 (3)

Refereed (journals/proceedings)

Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal 58(7), pp. 1495-1529, doi:10.1093/comjnl/bxu068, July 2015
Link Lipka R., Potuzak T., Brada P., Hnětynka P., Vinárek J.: A Method for Semi-automated Generation of Test Scenarios based on Use Cases,
In Proceedings of Euromicro SEAA 2015, Funchal, Portugal, IEEE, pp. 241-244, doi:10.1109/SEAA.2015.32, August 2015
Link Vinárek J., Šimko V., Hnětynka P.: Verification of Use-Cases with FOAM tool in Context of Cloud Providers,
In Proceedings of Euromicro SEAA 2015, Funchal, Portugal, IEEE, pp. 151-158, doi:10.1109/SEAA.2015.39, August 2015

2014 (1)

Refereed (journals/proceedings)

Link Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links Between Code and Specification Through Domain Model Extraction,
In Proceedings of EOMAS 2014, Thessaloniki, Greece, LNBIB 191, Springer, pp. 187-201, doi:10.1007/978-3-662-44860-1_11, June 2014

2013 (3)

Technical Reports

PDF Kroha P., Hnětynka P., Šimko V., Vinárek J.: Traceability in Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2013-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links between Code and Textual Specification through Automated Domain Model Extraction,
Tech. Report No. D3S-TR-2013-08, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Šimko V., Kroha P., Hnětynka P.: Implemented Domain Model Generation,
Tech. Report No. D3S-TR-2013-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2013

2012 (4)

Refereed (journals/proceedings)

PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: FOAM : A Lightweight Method for Verification of Use-Cases,
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Izmir, Turkey, IEEE CS, pp. 228-232, ISBN 978-0-7695-4790-9, DOI 10.1109/SEAA.2012.15, September 2012

Technical Reports

PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Use-Cases,
Tech. Report No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2012
PDF Šimko V., Kroha P., Hnětynka P.: Domain Model Generation With the Help of Supervised Machine Learning,
Tech. Report No. D3S-TR-2012-06, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012
PDF Bureš T., Hnětynka P., Kroha P., Šimko V.: Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2012-05, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012

2011 (3)

Refereed (journals/proceedings)

Link Francu J., Hnětynka P.: Automated Generation of Implementation from Textual System Requirements,
In Software Engineering Techniques (postproceedings of CEE-SET 2008, Brno, Czech Republic), LNCS 4980, Springer, pp. 34-47, ISBN 978-3-642-22385-3, ISSN 0302-9743, DOI 10.1007/978-3-642-22386-0_3, September 2011
PDF Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011) conference, Oslo, Norway, LNCS, Springer, September 2011

Technical Reports

PDF Šimko V.: Patterns In Specification Documents,
Tech. Report No. 2011/6, Dep. of Distributed and Dependable Systems, Charles University in Prague, July 2011

2010 (1)

Refereed (journals/proceedings)

Link, PDF Šimko V., Hnětynka P., Bureš T.: From textual use-cases to component-based applications,
In proceedings of SNPD 2010, London, UK, Studies in Computational Intelligence (SCI), Springer, June 2010

2007 (1)

Refereed (journals/proceedings)

PDF, Link Drazan J., Mencl V.: Improved Processing of Textual Use Cases: Deriving Behavior Specifications,
in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp.856-868, DOI: 10.1007/978-3-540-69507-3_74, Springer, January 2007

2006 (1)

Master Theses

PDF, ZIP, WWW Drazan J.: Natural Language Processing of Textual Use Cases,
Master thesis, advisor: Vladimir Mencl, February 2006

2004 (3)

Refereed (journals/proceedings)

PDF Mencl V.: Deriving Behavior Specifications from Textual Use Cases,
in Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Linz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft, September 2004

Ph.D. Theses

PDF, PDF Mencl V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning,
Ph.D. Thesis, advisor: Frantisek Plasil, June 2004

Technical Reports

PDF Mencl V.: Converting Textual Use Cases into Behavior Specifications,
Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, August 2004

2003 (2)

Refereed (journals/proceedings)

PDF Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003, December 2003
PDF Plášil F., Mencl V.: Getting "Whole Picture" Behavior in a Use Case Model,
in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, December 2003

2002 (1)

Technical Reports

PDF Plášil F., Mencl V.: Use Cases: Assembling "Whole Picture" Behavior,
Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., November 2002
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-02-17