Sciweavers

982 search results - page 93 / 197
» Model Based Multi-Level Prototyping
Sort
View
BPM
2008
Springer
207views Business» more  BPM 2008»
15 years 4 months ago
From Personal Task Management to End-User Driven Business Process Modeling
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
Todor Stoitsev, Stefan Scheidl, Felix Flentge, Max...
SEMCO
2009
IEEE
15 years 9 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
15 years 8 months ago
Using Software Component Models and Services in Embedded Real-Time Systems
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
Frank Lüders, Shoaib Ahmad, Faisal Khizer, Gu...
ISSTA
2009
ACM
15 years 7 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
SCANGIS
2003
15 years 3 months ago
Spatio-Temporal Modeling of Dynamic Phenomena in GIS
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
Saeed Nadi, Mahmoud Reza Delavar