Sciweavers

4290 search results - page 8 / 858
» Formal Approaches to Teamwork
Sort
View
HICSS
2002
IEEE
76views Biometrics» more  HICSS 2002»
16 years 13 days 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...
171
Voted
PROMAS
2005
Springer
16 years 1 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
154
Voted
ZUM
1997
Springer
104views Formal Methods» more  ZUM 1997»
15 years 11 months ago
Preliminary Evaluation of a Formal Approach to User Interface Specification
John C. Knight, Susan S. Brilliant
TYPES
2004
Springer
16 years 25 days ago
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
Yves Bertot, Benjamin Grégoire, Xavier Lero...