2253 search results - page 220 / 451 » An Approach to Specifying Software Frameworks |
135
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
142
Voted
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
112
Voted
AUIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Thin-client diagramming tools provide a number of advantages over traditional thick-client design tools but are challenging to build. We describe an extension to a thick-client me...
126
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
125
Voted
FASE
2005
Springer
15 years 10 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...