2493 search results - page 278 / 499 » Tool Support for Design by Contract |
149
click to vote
ISJGP
2010
14 years 8 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
72
Voted
ISESE
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...
88
Voted
IV
2003
IEEE
15 years 4 months ago
2003
IEEE
As Resource Description Framework (RDF) reaches maturity, there is an increasing need for tools that support it. A common and natural representation for RDF data is a directed lab...
89
Voted
SIGIR
1999
ACM
15 years 3 months ago
1999
ACM
Although there have been many prototypes of visualization in support of information retrieval, there has been little systematic evaluation that distinguishes the benefits of the v...