3943 search results - page 83 / 789 » Architecture-Level Requirements Specification |
151
click to vote
SERP
2003
15 years 7 months ago
2003
This paper outlines the motivation for, and the development of, an online advisement scheduling system, OASIS, which will be used in the Computer Science Department at the Univers...
172
click to vote
ENGL
2008
15 years 6 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
185
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
153
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
138
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...