Sciweavers

2186 search results - page 42 / 438
» Model Transformation Technologies in the Context of Modellin...
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
13 years 7 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
IJCAI
2007
13 years 9 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 1 months ago
The Role of a Shared Mental Model of Collaboration Technology in Facilitating Knowledge Work in Virtual Teams
We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technolog...
Dominic M. Thomas, Robert P. Bostrom
HICSS
1999
IEEE
139views Biometrics» more  HICSS 1999»
13 years 12 months ago
Five Degrees of Separation: A Human Capital Model of Employment-Related Decisionmaking in the Information Technology Workforce
Successful implementation of information technology (IT)-enabled strategy rests on the performance of IT professionals. Consequently, the development and retention of this "I...
Robert A. Josefek Jr., Robert J. Kauffman
QSIC
2009
IEEE
14 years 2 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...