Sciweavers

1912 search results - page 177 / 383
» On the evaluation of argumentation formalisms
Sort
View
AGILEDC
2007
IEEE
16 years 24 days ago
Becoming Agile using Service Learning in the Software Engineering Course
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
Brian Hanks
CAISE
2007
Springer
16 years 21 days ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
ECTEL
2007
Springer
16 years 21 days ago
Building Domain Ontologies from Text for Educational Purposes
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
Amal Zouaq, Roger Nkambou, Claude Frasson
SAS
2007
Springer
16 years 19 days ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
16 years 19 days ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King