1926 search results - page 103 / 386 » Modeling and Model Checking Software Product Lines |
181
Voted
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...
132
click to vote
ECIS
2004
15 years 7 months ago
2004
The purpose of this paper is to increase understanding about the use of embedded open source software in commercial telecommunication products. This paper applies concepts of valu...
188
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
136
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
142
click to vote
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...