3021 search results - page 200 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
151
Voted
RE
2002
Springer
15 years 4 months ago
2002
Springer
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, inste...
155
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
121
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
130
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
119
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...