4919 search results - page 639 / 984 » A Process-Ontological Model for Software Engineering |
130
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
114
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
135
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
135
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
158
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...