IASSE
2004
13 years 5 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
ERSA
2006
13 years 5 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
ACE
2004
13 years 5 months ago
2004
In order to teach object-oriented design and programming in introductory computer science it is imperative to teach objects from the very beginning of the course. The use of inter...
SERP
2007
13 years 5 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
VAMOS
2008
Springer
13 years 5 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
MOBIS
2008
13 years 5 months ago
2008
: Semantic technologies promise fully leveraging the content of enterprise and business process models by applying reasoning techniques to query the process space or using ontologi...
IJCAI
2007
13 years 5 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
EDM
2008
13 years 6 months ago
2008
In this paper we describe an educational data mining (EDM) case study based on the data collected during the online assessment of students who were able to immediately receive tail...
CASCON
2007
13 years 6 months ago
2007
As online communities proliferate, methods are needed to explore and capture patterns of activity within them. This paper focuses on the problem of identifying active subgroups wi...
FMICS
2008
Springer
13 years 6 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...