2261 search results - page 255 / 453 » Modeling the Experimental Software Engineering Process |
128
click to vote
AVI
2008
15 years 6 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
156
Voted
RE
2004
Springer
15 years 9 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
183
click to vote
DICS
2006
15 years 7 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
131
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
126
click to vote
RE
2006
Springer
15 years 3 months ago
2006
Springer
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...