1251 search results - page 165 / 251 » A Method for Component-Based Software and System Development |
145
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
154
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
— All large vendors of standard business software have announced to move to service oriented architecture. They claim benefits for their customers with regard to agility and ope...
164
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
150
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
140
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...