2419 search results - page 200 / 484 » A Formal Approach to Software Testing |
132
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
170
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
140
click to vote
ICONS
2008
IEEE
15 years 10 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
125
click to vote
HCI
2007
15 years 5 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...
146
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...