Sciweavers

584 search results - page 63 / 117
» Productization: Transforming from Developing Customer-Specif...
Sort
View
ECRTS
2005
IEEE
14 years 2 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
IWSSD
1993
IEEE
14 years 26 days ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
FSTTCS
2010
Springer
13 years 6 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
JSS
2006
77views more  JSS 2006»
13 years 8 months ago
Recovering architectural assumptions
During the creation of a software architecture, the architects and stakeholders take a lot of decisions. Many of these decisions can be directly related to functional or quality r...
Ronny Roeller, Patricia Lago, Hans van Vliet
ECIS
2003
13 years 10 months ago
The transformation of work in european banks: an analysis of IT skills
Researches that have recently investigated the impact of developments in Information Technologies (IT) on human capital in the banking industry analysed only marginally the evolut...
Paolo Neirotti, Emilio Paolucci