2039 search results - page 263 / 408 » Teaching Standards to Engineers |
153
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
150
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Digital libraries and OPACs are offering an enormous collection of information resources which can be accessed through Internet by quite different users thanks to the existence of...
197
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
147
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
230
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...