8179 search results - page 1386 / 1636 » The PRACTIONIST Development Tool |
179
click to vote
TES
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...
174
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
173
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
161
click to vote
DFT
2000
IEEE
15 years 11 months ago
2000
IEEE
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
166
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...