803 search results - page 58 / 161 » Building Formal Models for Software Requirements |
124
Voted
FUIN
2008
15 years 3 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
137
click to vote
SSR
2001
15 years 5 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
125
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
100
click to vote
JLP
2010
14 years 10 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
135
Voted
ER
1998
Springer
15 years 8 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...