126 search results - page 25 / 26 » Session and Union Types for Object Oriented Programming |
ER
2009
Springer
14 years 2 months ago
2009
Springer
Goals are often used to represent stakeholder’s objectives. The intentionality inherited by a goal drives stakeholders to pursuit the fulfillment of their goals either by themse...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
MFPS
1989
13 years 11 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...