Sciweavers

163 search results - page 18 / 33
» Software Engineering Research Group (GIIS)
Sort
View
SAFECOMP
2005
Springer
14 years 25 days ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
EWC
2011
84views more  EWC 2011»
13 years 2 months ago
A theoretical framework for an intelligent design catalogue
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
Paul Winkelman
COMPSAC
2005
IEEE
14 years 1 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
MODELS
2009
Springer
14 years 1 months ago
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Hu...
IUI
2000
ACM
13 years 11 months ago
User studies of an interdependency-based interface for acquiring problem-solving knowledge
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
Jihie Kim, Yolanda Gil