Sciweavers

4290 search results - page 8 / 858
» Formal Approaches to Teamwork
Sort
View
123
Voted
HICSS
2002
IEEE
76views Biometrics» more  HICSS 2002»
15 years 9 months ago
Software Requirements for Project-Based Learning - CommSy as an Exemplary Approach
Project teams have become an important element in teaching informatics. Web-based groupware systems are increasingly used in such educational settings. This kind of educational te...
Bernd Pape, Wolf-Gideon Bleek, Iver Jackewitz, Mic...
PROMAS
2005
Springer
15 years 10 months ago
A Model-Based Executive for Commanding Robot Teams
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Anthony Barrett
116
Voted
ZUM
1997
Springer
104views Formal Methods» more  ZUM 1997»
15 years 8 months ago
Preliminary Evaluation of a Formal Approach to User Interface Specification
John C. Knight, Susan S. Brilliant
103
Voted
SAS
2004
Springer
110views Formal Methods» more  SAS 2004»
15 years 10 months ago
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Enric Rodríguez-Carbonell, Deepak Kapur
TYPES
2004
Springer
15 years 10 months ago
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
Yves Bertot, Benjamin Grégoire, Xavier Lero...