3216 search results - page 499 / 644 » The Oregon Software Development Process |
185
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
146
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
203
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
158
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
155
click to vote
ARITH
2003
IEEE
15 years 11 months ago
2003
IEEE
Decimal arithmetic is the norm in human calculations, and human-centric applications must use a decimal floating-point arithmetic to achieve the same results. Initial benchmarks i...