9974 search results - page 206 / 1995 » Software Interconnection Models |
194
click to vote
OMER
2001
15 years 7 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
165
click to vote
RCIS
2010
15 years 4 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
194
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
180
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
170
click to vote
ACSC
2005
IEEE
16 years 3 days ago
2005
IEEE
Collaborative Software Engineering (CSE) supports the fine-grained real-time development of software by teams of developers located anywhere on the Internet. In this paper we des...