2549 search results - page 211 / 510 » Toward a complexity theory of information systems developmen... |
JAIR
2008
13 years 8 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
PAKM
2004
13 years 9 months ago
2004
Abstract. In many large engineering design organizations the information systems have developed over time into a set of heterogeneous resources. This makes it difficult for enginee...
DGO
2003
13 years 9 months ago
2003
ct The REGNET Project aims to develop a formal information infrastructure for regulatory information management and compliance assistance. This paper discusses three components of ...
CSREAPSC
2006
13 years 9 months ago
2006
- Quality control is crucial to the success of any business and organization. Due to the ever-increasing complexity and mission-critical nature of quality control, development, dep...
IEEECIT
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...