Sciweavers

18898 search results - page 14 / 3780
» The Making of a Software Engineer
Sort
View
116
Voted
ESSOS
2009
Springer
15 years 7 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
131
Voted
PEPM
2010
ACM
16 years 18 days ago
Making "stricterness" more relevant
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
Stefan Holdermans, Jurriaan Hage
129
Voted
SEFM
2008
IEEE
15 years 10 months ago
Tagging Make Local Testing of Message-Passing Systems Feasible
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
Puneet Bhateja, Madhavan Mukund
110
Voted
AGILEDC
2003
IEEE
15 years 9 months ago
Making Agile Development Work in a Government Contracting Environment - Measuring velocity with Earned Value
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
Glen B. Alleman, Michael Henderson, Ray Seggelke
143
Voted
ADAEUROPE
2010
Springer
15 years 8 months ago
What to Make of Multicore Processors for Reliable Real-Time Systems?
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
Theodore P. Baker