1599 search results - page 174 / 320 » A Reference Model for Knowledge Management in Software Engin... |
148
Voted
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
157
click to vote
MODELLIERUNG
2001
15 years 5 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
130
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
122
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
115
Voted
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...