Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
The term `behavior' is used ubiquitously in engineering. It refers roughly to the way technical artifacts `behave' in a given or hypothetical situation, and plays a pivot...
Stefano Borgo, Massimiliano Carrara, Pieter E. Ver...
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...