UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
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 ...
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
: Component-Based Software Development (CBSD) and Aspect-Oriented Software Development (AOSD) are solutions to support software evolution by decomposing a software system into conc...
Nicolas Pessemier, Lionel Seinturier, Laurence Duc...