8179 search results - page 1332 / 1636 » The PRACTIONIST Development Tool |
147
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
136
click to vote
RSKT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Consumer research has indicated that consumers use compensatory and non-compensatory decision strategies when formulating their purchasing decisions. Compensatory decisio...
184
click to vote
SARA
2007
Springer
16 years 23 days ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
176
click to vote
SEKE
2007
Springer
16 years 23 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
196
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...