4919 search results - page 506 / 984 » A Process-Ontological Model for Software Engineering |
180
Voted
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
188
Voted
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
138
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
181
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
156
Voted
RE
2005
Springer
16 years 10 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...