Minimally Invasive Surgery (MIS) techniques are a less invasive procedure than open surgery, usually involving laparoscopic devices, remote control manipulation instruments with indirect observation of the surgical field through endoscope or similar devices. Interventional Radiology (IVR) is one of the MIS methodologies. IVR procedures are for diagnostic purposes such as angiogram, and others a...

Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing also provides an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Model-based testing refers to the processes and techniques for the automatic derivatio...

interpretation [CC77] is a technique for static program analysis in which execution of the program is simulated on a description (or abstract) domain (Dα) which is simpler than the actual (or concrete) domain (D). Values in the description domain and sets of values in the actual domain are related via a pair of monotonic mappings 〈α, γ〉: abstraction α : 2D → Dα and concretization γ : Dα→ 2D whi...

We still know little of why strategy processes often involve participation problems. In this paper, we argue that this crucial issue is linked to fundamental assumptions concerning the nature of strategy work. Hence, we need to examine how strategy processes are typically made sense of and what roles are assigned to specific organizational members. For this purpose, we adopt a critical discursi...

a r t i c l e i n f o a b s t r a c t The paper focuses on the challenge of generating theoretical support for software development, especially when human software developers are involved in the software development process. We outline a model, " Coat Hanger " , for theorizing about development practices. The model focuses on the intended rationale for the actual realization and resulting impac...

This paper is focused on the method of the design patterns support which is based on a principle of suggestion of design pattern instances via the semantic marking of model elements or source code fragments and the subsequent transformations of this way marking models or source code. The transformations generate the missing structure of the suggested design pattern instances in a requested form...

ion, in this case, means that we are looking for a mapping X so that for all v, S[v]⊆X[v]. This means that we allow to weaken the statement about program points. To compute such an over-approximation of (concrete) semantics, we start with picking a complete lattice (D,v) so that each element d ∈D is a finite representation of a possibly infinite set of states. This step is necessary as we obvio...

Analyzing complex problem domains is not easy. Simulation tools support decision makers to find the best policies. Model-based system development is an approach where a model of the application domain is the central driving force when designing simulation tools. State-of-the-art techniques however still require both expert knowledge of the application domain and the implementation techniques as...

LSign 18] is an elegant domain for analyzing constraint logic programming languages over linear real constraints. Its key conceptual ideas are the abstraction of linear constraints by replacing coeecients by their signs and the use of annotations for preserving multiplicity information on the constraints. Unfortunately, the ordering of abstract constraint stores given in 18] does not capture th...

Generalized model checking is a framework for reasoning about partial state spaces of concurrent reactive systems. The state space of a system is only “partial” (partially known) when a full state-space exploration is not computationally tractable, or when abstraction techniques are used to simplify the system’s representation. In the context of automatic abstraction, generalized model checking...