simko.bib

@inproceedings{simko2010snpd,
  abstract = {{ A common practice to capture functional requirements of a software system is to utilize use-cases, which are textual descriptions of system usage scenarios written in a natural language. Since the substantial information about the system is captured by the use-cases, it comes as a natural idea to generate from these descriptions the implementation of the system (at least partially). However, the fact that the use-cases are in a natural language makes this task extremely difficult. In this paper, we describe a model-driven tool allowing code of a system to be generated from use-cases in plain English. The tool is based on the model-driven development paradigm, which makes it modular and extensible, so as to allow for use-cases in multiple language styles and generation for different component frameworks. }},
  author = {Viliam Simko and Petr Hnerynka and Tomas Bures},
  booktitle = {Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010},
  doi = {10.1007/978-3-642-13265-0_3},
  editor = {Lee, Roger and Ma, Jixin and Bacon, Liz and Du, Wencai and Petridis, Miltos},
  isbn = {978-3-642-13264-3},
  pages = {23-37},
  pdf = {http://d3s.mff.cuni.cz/~simko/wiki/uploads/Main/Publications/ViliamSimko-SNPD2010.pdf},
  publisher = {Springer Berlin Heidelberg},
  series = {Studies in Computational Intelligence},
  title = {From textual use-cases to component-based applications},
  url = {http://dx.doi.org/10.1007/978-3-642-13265-0_3},
  year = {2010}
}
@inproceedings{simko2011foam,
  abstract = {{ This paper presents a semi-automated method that helps iteratively write use-cases in natural language and verify consistency of behavior encoded within them. In particular, this is beneficial when the use-cases are created simultaneously by multiple developers. The proposed method allows verifying the consistency of textual use-case specification by employing annotations in use-case steps that are transformed into temporal logic formulae and verified within a formal behavior model. A supporting tool for plain English use-case analysis is currently being enhanced by integrating the verification algorithm proposed in the paper. }},
  author = {Viliam Simko and David Hauzar and Petr Hnetynka and Frantisek Plasil},
  booktitle = {Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS'11) conference},
  day = {14--16},
  doi = {10.1007/978-3-642-35743-5_21},
  location = {Oslo, Norway},
  month = {September},
  pdf = {http://d3s.mff.cuni.cz/publications/download/2011-FACS2011-VerifyingUseCases.pdf},
  publisher = {Springer},
  series = {LNCS},
  title = {Verifying Temporal Properties of Use-Cases in Natural Language},
  year = {2011}
}
@inproceedings{simko2012foam,
  abstract = {{ The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present Formal Verification of Annotated Use-Case Models (FOAM) method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts. }},
  author = {Viliam Simko and Petr Hnetynka and Tomas Bures and Frantisek Plasil},
  booktitle = {Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},
  day = {5--8},
  doi = {10.1109/SEAA.2012.15},
  location = {Cesme, Izmir, Turkey},
  month = {September},
  pages = {228--232},
  pdf = {http://d3s.mff.cuni.cz/publications/download/2012-SEAA-SimkoHnetynaBuresPlasil-FOAM.pdf},
  publisher = {IEEE/ACM},
  title = {{FOAM : A Lightweight Method for Verification of Use-Cases}},
  year = {2012}
}
@inproceedings{anaya2014adapt,
  abstract = {{ Engineering self-adaptive software in unpredictable environments such as pervasive systems, where network's ability, remaining battery power and environmental conditions may vary over the lifetime of the system is a very challenging task. Many current software engineering approaches leverage run-time architectural models to ease the design of the autonomic control loop of these self-adaptive systems. While these approaches perform well in reacting to various evolutions of the runtime environment, implementations based on reactive paradigms have a limited ability to anticipate problems, leading to transient unavailability of the system, useless costly adaptations, or resources waste. In this paper, we follow a proactive self-adaptation approach that aims at overcoming the limitation of reactive approaches. Based on predictive analysis of internal and external context information, our approach regulates new architecture reconfigurations and deploys them using models at runtime. We have evaluated our approach on a case study where we combined hourly temperature readings provided by National Climatic Data Center (NCDC) with fire reports from Moderate Resolution Imaging Spectroradiometer (MODIS) and simulated the behavior of multiple systems. The results confirm that our proactive approach outperforms a typical reactive system in scenarios with seasonal behavior. }},
  author = {Ivan Dario Paez Anaya and Viliam Simko and Johann Bourcier and Noel Plouzeau},
  booktitle = {Proceedings of 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14)},
  day = {31},
  location = {Hyderabad, India},
  month = {May},
  pdf = {http://hal.archives-ouvertes.fr/docs/00/98/30/46/PDF/SEAMS14-main.pdf},
  title = {A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks},
  year = {2014}
}
@inproceedings{vinarek2014eomas,
  abstract = {{ Requirements traceability is an extremely important aspect of software development and especially of maintenance. Efficient maintaining of traceability links between high-level requirements specification and low-level implementation is hindered by many problems. In this paper, we propose a method for automated recovery of links between parts of the textual requirement specification and the source code of implementation. The described method is based on a method allowing extraction of a prototype domain model from plain text requirements specification. The proposed method is evaluated on two non-trivial examples. The performed experiments show that our method is able to link requirements with source code with the accuracy of $F_1=58-61\%$. }},
  author = {Jiri Vinarek and Petr Hnetynka and Viliam Simko and Petr Kroha},
  booktitle = {Proceedings of 10th International Workshop, EOMAS 2014, Held at CAiSE 2014},
  day = {16--17},
  location = {Thessaloniki, Greece},
  month = {June},
  series = {LNBIP},
  title = {Recovering Traceability Links between Code and Specification through Domain Model Extraction},
  url = {http://www.springer.com/business+%26+management/business+information+systems/book/978-3-662-44859-5},
  volume = {191},
  year = {2014}
}
@article{simko2014foam,
  abstract = {{ Textual use-cases have been traditionally used in the initial stages of the software development process to describe software functionality from the user's perspective. Their advantage is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on natural language, they cannot be directly subject to a formal verification. In this article, we present a method (called FOAM) for formal verification of use-cases. This method features simple user-definable annotations, which are inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool is employed to verify temporal invariants associated with the annotations. This way, FOAM allows harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts. }},
  author = {Viliam Simko and David Hauzar and Petr Hnetynka and Tomas Bures and Frantisek Plasil},
  doi = {10.1093/comjnl/bxu068},
  journal = {The Computer Journal},
  note = {accepted for publication},
  tags = {Formal Methods; Verification, Requirements Engineering},
  title = {Formal Verification of Annotated Textual Use-Cases},
  year = {2014}
}