Search For:

Displaying 1-8 out of 8 total
Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach
Found in: Computer
By Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards
Issue Date:May 2011
pp. 62-71
RoboPrism, a framework that supports software-architecture-based development of robotic systems, is accessible to nonexperts in robotics, deals effectively with heterogeneity in distributed and mobile robotics systems, and facilitates adaptation in complex...
Using dynamic execution traces and program invariants to enhance behavioral model inference
Found in: Software Engineering, International Conference on
By Ivo Krka,Yuriy Brun,Daniel Popescu,Joshua Garcia,Nenad Medvidovic
Issue Date:May 2010
pp. 179-182
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneralize what behavior is legal. We outline a novel approach that utilizes inferred l...
Component-Aware Triggered Scenarios
Found in: 2014 IEEE/IFIP Conference on Software Architecture (WICSA)
By Ivo Krka,Nenad Medvidovic
Issue Date:April 2014
pp. 129-138
Use-case scenarios, with notations such as UML sequence diagrams, are widely used to specify software system behavior. Although intuitive, these notations allow engineers to specify behaviors with unintended semantic side-effects. To address these inconsis...
Scalable and Accurate Prediction of Availability of Atomic Web Services
Found in: IEEE Transactions on Services Computing
By Marin Silic,Goran Delac,Ivo Krka,Sinisa Srbljic
Issue Date:April 2014
pp. 252-264
The modern information systems on the Internet are often implemented as composite services built from multiple atomic services. These atomic services have their interfaces publicly available while their inner structure is unknown. The quality of the compos...
Distributing refinements of a system-level partial behavior model
Found in: 2013 IEEE 21st International Requirements Engineering Conference (RE)
By Ivo Krka,Nenad Medvidovic
Issue Date:July 2013
pp. 72-81
Early in a system's life cycle, a system's behavior is typically partially specified using scenarios, invariants, and temporal properties. These specifications prohibit or require certain behaviors, while leaving other behaviors uncategorized into either o...
From requirements to partial behavior models: an iterative approach to incremental specification refinement
Found in: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (FSE '10)
By Ivo Krka
Issue Date:November 2010
pp. 341-344
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining Modal Transition Systems.
Synthesizing and utilizing partial behavior models during requirements elicitation
Found in: Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium (ESEC/FSE Doctoral Symposium '09)
By Ivo Krka
Issue Date:August 2009
pp. 171-172
Software maintenance is a multi-dimensional problem that involves the integration, abstraction, and analysis of different knowledge resources and artifacts. In today's global software projects, artifacts tend to be distributed across various physical and v...
Synthesizing partial component-level behavior models from system specifications
Found in: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (ESEC/FSE '09)
By George Edwards, Ivo Krka, Nenad Medvidovic, Yuriy Brun
Issue Date:August 2009
pp. 171-172
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior models from these early specifications can improve software development practice...