4919 search results - page 415 / 984 » A Process-Ontological Model for Software Engineering |
198
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
167
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
185
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
195
click to vote
ICCBSS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
183
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...