1014 search results - page 148 / 203 » Software Development Environments for Scientific and Enginee... |
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
PPPJ
2004
ACM
14 years 2 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
COBUILD
1998
Springer
14 years 1 months ago
1998
Springer
This paper will discuss the future use of the dwelling as a place for cooperative work. It is our opinion that the development of the communication technologies and the architectur...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...