Sciweavers

2969 search results - page 110 / 594
» The Case for User-Centered CASE Tools
Sort
View
TOPNOC
2008
15 years 6 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
COMSIS
2004
119views more  COMSIS 2004»
15 years 6 months ago
A Method and a Tool for Rapid Prototyping of Large-Scale Business Information Systems
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
Gordana Milosavljevic, Branko Perisic
ICST
2010
IEEE
15 years 4 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
Minh Duc Nguyen, Hélène Waeselynck, ...
WISE
2007
Springer
16 years 19 days ago
Wooki: A P2P Wiki-Based Collaborative Writing Tool
Abstract. Wiki systems are becoming an important part of the information system of many organisations and communities. This introduce the issue of the data availability in case of ...
Stéphane Weiss, Pascal Urso, Pascal Molli
SIGCSE
2006
ACM
144views Education» more  SIGCSE 2006»
16 years 10 days ago
Case-based analysis: a practical tool for teaching computer ethics
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
Michael J. Quinn