Sciweavers

52 search results - page 7 / 11
» icse 2001
Sort
View
ICSE
2001
IEEE-ACM
15 years 2 months ago
Engineering Mobile-Agent Applications via Context-Dependent Coordination
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
ICSE
2001
IEEE-ACM
15 years 2 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
ICSE
2001
IEEE-ACM
15 years 2 months ago
Consistent Group Membership in Ad Hoc Networks
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
ICSE
2001
IEEE-ACM
15 years 2 months ago
Conceptual Modeling through Linguistic Analysis Using LIDA
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
Scott P. Overmyer, Benoit Lavoie, Owen Rambow