Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit & Frantisek Plasil (2013):
DEECO: An Ensemble-based Component System.
In: Proceedings of CBSE 2013, Vancouver, Canada.
ACM,
pp. 81–90,
doi:10.1145/2465449.2465462.
Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit & Frantisek Plasil (2015):
The Invariant Refinement Method.
In: Software Engineering for Collective Autonomic Systems,
LNCS 8998.
Springer,
pp. 405–428,
doi:10.1007/978-3-319-16310-9_12.
E. Casagrande, S. Woldeamlak, W.L. Woon, H.H. Zeineldin & D. Svetinovic (2014):
NLP-KAOS for Systems Goal Elicitation: Smart Metering System Case Study.
IEEE Transactions on Software Engineering 40(10),
pp. 941–956,
doi:10.1109/TSE.2014.2339811.
William W. Cohen, Pradeep Ravikumar & Stephen E. Fienberg (2003):
A comparison of string distance metrics for name-matching tasks.
In: Proceedings of IIWeb-03, Acapulco, Mexico,
pp. 73–78.
Rolf Drechsler, Mathias Soeken & Robert Wille (2012):
Formal Specification Level: Towards verification-driven design based on natural language processing.
In: Proceedings of FDL 2012, Vienna, Austria.
IEEE,
pp. 53–58.
Ilias Gerostathopoulos, Tomas Bures, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil & Noël Plozeau (2015):
Self-Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations.
Technical Report D3S-TR-2015-02.
Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems.
Rolf Hennicker & Annabelle Klarl (2014):
Foundations for Ensemble Modeling - The Helena Approach.
In: Specification, Algebra, and Software,
LNCS 8373.
Springer,
pp. 359–381,
doi:10.1007/978-3-642-54624-2_18.
Matthias Hölzl, Axel Rauschmayer & Martin Wirsing (2008):
Software Engineering for Ensembles.
In: Software-Intensive Systems and New Computing Paradigms,
LNCS 5380.
Springer Berlin Heidelberg,
pp. 45–63,
doi:10.1007/978-3-540-89437-7_2.
Axel van Lamsweerde (2008):
Requirements Engineering: From Craft to Discipline.
In: Proceedings of SIGSOFT'08/FSE-16, Atlanta, USA.
ACM,
pp. 238–249,
doi:10.1145/1453101.1453133.
Craig Larman (2004):
Applying UML and patterns: an introduction to object-oriented analysis and design and the unified proces,
3rd edition.
Prentice-Hall.
Christopher D. Manning, Mihai Surdeanu, John Bauer, Jenny Finkel, Steven J. Bethard & David McClosky (2014):
The Stanford CoreNLP Natural Language Processing Toolkit.
In: Proceedings of 52nd Annual Meeting of the Association for Computational Linguistics: System Demonstrations, Baltimore, Maryland,
pp. 55–60,
doi:10.3115/v1/P14-5010.
George A. Miller (1995):
WordNet: A Lexical Database for English.
Communications of the ACM 38(11),
pp. 39–41,
doi:10.1145/219717.219748.
Brice Morin, Franck Fleurey & Olivier Barais (2015):
Taming Heterogeneity and Distribution in sCPS.
In: Proceedings of SEsCPS 2015, Firenze, Italy.
ACM,
pp. 40–43,
doi:10.1109/SEsCPS.2015.15.
Ivan Ruchkin, Bradley Schmerl & David Garlan (2015):
Architectural Abstractions for Hybrid Programs.
In: Proceedings of CBSE 2015, Montreal, Canada.
ACM,
pp. 65–74,
doi:10.1145/2737166.2737167.
Viliam Simko, David Hauzar, Petr Hnetynka, Tomas Bures & Frantisek Plasil (2014):
Formal Verification of Annotated Textual Use-Cases.
The Computer Journal 58(7),
pp. 1495–1529,
doi:10.1093/comjnl/bxu068.
Viliam Simko, Petr Hnetynka & Tomas Bures (2010):
From Textual Use-Cases to Component-Based Applications.
In: In proceedings of SNPD 2010, London, UK,
SCI 295.
Springer,
pp. 23–37,
doi:10.1007/978-3-642-13265-0_3.
Viliam Simko, Petr Kroha & Petr Hnetynka (2013):
Implemented Domain Model Generation.
Technical Report D3S-TR-2013-03.
Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems.
Jiri Vinarek, Petr Hnetynka, Viliam Simko & Petr Kroha (2014):
Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.
In: Proceedings of EOMAS 2014, Thessaloniki, Greece,
LNBIP 191.
Springer,
pp. 187–201,
doi:10.1007/978-3-662-44860-1_11.