15155 search results - page 165 / 3031 » System Software |
145
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
189
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
181
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
148
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
179
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...