2688 search results - page 71 / 538 » A formal semantics for P3P |
ICCS
2003
Springer
14 years 26 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
ADAEUROPE
2001
Springer
14 years 5 days ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
ICESS
2005
Springer
14 years 1 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
FM
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
ICSM
1996
IEEE
13 years 12 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...