3527 search results - page 471 / 706 » Test Automation in Practice |
109
click to vote
UML
2004
Springer
15 years 4 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
COOPIS
2003
IEEE
15 years 4 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...
LCN
2003
IEEE
15 years 4 months ago
2003
IEEE
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...
TPHOL
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
GROUP
2003
ACM
15 years 4 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...