7139 search results - page 877 / 1428 » Language Engineering in Practice |
193
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
180
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
169
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
196
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
180
click to vote
AGILEDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...