Sciweavers

726 search results - page 34 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
AAAI
2012
13 years 2 months ago
Learning from Demonstration for Goal-Driven Autonomy
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
Ben George Weber, Michael Mateas, Arnav Jhala
SIGUCCS
2000
ACM
15 years 4 months ago
Training... A Key to Better Help Desk Consultants
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...
Anna Maria Perez, Andrea J. Moore
CSEE
2007
Springer
15 years 6 months ago
Lab Partners: If They're Good Enough for the Natural Sciences, Why Aren't They Good Enough for Us?
Despite many professed benefits of collaboration, some computer science educators feel students need to master work individually, particularly in the courses early in the curricul...
Laurie Williams, Lucas Layman
KBSE
2005
IEEE
15 years 5 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
COMPSAC
2002
IEEE
15 years 4 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...