3706 search results - page 497 / 742 » The Transformational Approach to Program Development |
154
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
168
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
146
click to vote
ICST
2011
IEEE
14 years 8 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
143
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
147
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
A concurrent partitioner for partitioning unstructured finite element meshes on distributed memory architectures is developed. The partitioner uses an element-based partitioning st...