2836 search results - page 44 / 568 » Model Checking for Software Architectures |
113
Voted
RE
2007
Springer
15 years 9 months ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
141
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
149
Voted
TOSEM
2002
15 years 3 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
121
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
135
click to vote
MTV
2003
IEEE
15 years 8 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...