Sciweavers

1405 search results - page 72 / 281
» Software engineering for and with artists: a case study
Sort
View
AMAST
2008
Springer
13 years 11 months ago
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
WCRE
2003
IEEE
14 years 2 months ago
Improving Fact Extraction of Framework-Based Software Systems
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
Jens Knodel, Martin Pinzger
HICSS
2008
IEEE
99views Biometrics» more  HICSS 2008»
14 years 3 months ago
Knowledge Management in Renewing Software Development Processes
In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
Marianne Kukko, Nina Helander, Pasi Virtanen
EMSOFT
2006
Springer
14 years 16 days ago
Defining a strategy to introduce a software product line using existing embedded systems
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muth...
CORR
2008
Springer
114views Education» more  CORR 2008»
13 years 9 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid