5228 search results - page 760 / 1046 » Case Studies for Software Engineers |
155
click to vote
DMSN
2004
ACM
16 years 4 days ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
202
click to vote
CAEPIA
2003
Springer
15 years 12 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
192
click to vote
GROUP
1995
ACM
15 years 10 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
163
click to vote
HCI
2007
15 years 8 months ago
2007
Case study describing tools and processes enabling accelerated adoption of Usability Standards, and increased efficiencies in development of accessible, internationalized, branded...
169
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...