1360 search results - page 123 / 272 » The SMART Approach for Software Process Engineering |
146
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
122
Voted
JSS
2000
15 years 3 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
115
click to vote
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
137
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
131
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...