Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
Teaching provides many challenges. Presenting Software Engineering to students brings a teacher face to face with a most unwieldy subject. Packaging this subject for delivery to a...
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Software architecture practice is highly complex. Software architects interact with business as well as technical aspects of systems, often embedded in large and changing organiza...