1121 search results - page 100 / 225 » Building Formal Requirements Models for Reliable Software |
IKE
2003
15 years 1 months ago
2003
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...
102
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
ICSEA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
TR
2010
14 years 6 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
DEXAW
1995
IEEE
15 years 3 months ago
1995
IEEE
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...