3799 search results - page 16 / 760 » An Engineering Approach to Formal Methods |
FASE
1999
Springer
13 years 12 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
RE
1997
Springer
13 years 11 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
ATAL
2003
Springer
14 years 27 days ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...