Sciweavers

5182 search results - page 146 / 1037
» COTS-Based Requirements Engineering
Sort
View
APSEC
2000
IEEE
15 years 10 months ago
Implementation of a software engineering course for computer science students
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...
Ivica Crnkovic, Magnus Larsson, Frank Lüders
EMSOFT
2010
Springer
15 years 4 months ago
Modeling buffers with data refresh semantics in automotive architectures
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
Linh Thi Xuan Phan, Reinhard Schneider, Samarjit C...
ICSR
2009
Springer
15 years 3 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
IESA
2009
15 years 3 months ago
Organizational Interoperability Supported through Goal Alignment with BMM and Service Collaboration with SoaML
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
Fenglin Han, Espen Moller, Arne-Jørgen Berr...
EUROMICRO
2011
IEEE
14 years 6 months ago
Developing Safe and Dependable Sensornets
Sensornets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and senso...
Iain Bate, Yafeng Wu, John A. Stankovic