1912 search results - page 132 / 383 » XML Technologies and Software Engineering |
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
CSMR
2004
IEEE
13 years 11 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...