71 search results - page 2 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
ACMSE
2005
ACM
13 years 11 months ago
2005
ACM
Web forms are a common mechanism for collecting information online. They pose some limitations which negatively affect ease and flexibility of user interaction. These limitations ...
ICSE
1994
IEEE-ACM
13 years 9 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
AO
2006
13 years 5 months ago
2006
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...
CSMR
2003
IEEE
13 years 10 months ago
2003
IEEE
Software visualization tools face many challenges in terms of their implementation, including scalability, usability, adaptability, and durability. Such tools, like many other res...
ICSE
2005
IEEE-ACM
13 years 10 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...