2748 search results - page 44 / 550 » Generating Object-Z Specifications from Use Cases |
128
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
85
Voted
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
108
Voted
IJCAI
1993
15 years 2 months ago
1993
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...
106
click to vote
FLAIRS
2006
15 years 2 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
120
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Molecular interaction networks can be efficiently studied using network visualization software such as Cytoscape. The relevant nodes, edges and their attributes can be...