Sciweavers

5668 search results - page 309 / 1134
» Overlaps in Requirements Engineering
Sort
View
ICSR
2009
Springer
15 years 4 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 4 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
ICSE
2008
IEEE-ACM
16 years 7 months ago
Design patterns: between programming and software design
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
Christoph Denzler, Dominik Gruntz
SEKE
1993
Springer
15 years 10 months ago
Recovering Conceptual Data Models is Human-Intensive
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
Fabio Abbattista, Filippo Lanubile, Giuseppe Visag...