Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
Our ability to improve decision making in software development hinges on understanding how decisions are made, and which approaches to decision making are better than others. Howev...