287 search results - page 31 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
ECIS
2001
14 years 11 months ago
2001
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...
113
click to vote
INLG
2010
Springer
14 years 7 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
SAFECOMP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...