Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke,...
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
Nico H. Lassing, Daan B. B. Rijsenbrij, Hans van V...
Information systems success is one of the most widely used dependent variables in information systems research. In this paper, we identify a range of measures that can be used to ...