2912 search results - page 436 / 583 » A Study of Collaboration in Software Design |
UIALL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present the results of an exploratory study investigating the feasibility of using multimedia software to teach life skills to adults with learning difficulties. As a ...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
EMSOFT
2004
Springer
14 years 28 days ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
ICSE
2000
IEEE-ACM
14 years 24 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
WADT
1998
Springer
14 years 24 days ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...