490 search results - page 38 / 98 » Formal Action Semantics for a UML Action Language |
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
FUIN
2006
13 years 9 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
FPCA
1995
14 years 16 days ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
ROOM
2000
13 years 10 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
FUZZIEEE
2007
IEEE
14 years 26 days ago
2007
IEEE
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...