Search Results - "Warboys, B.C."

Software process in a concurrent, formally-based framework by Sa, J., Keane, J.A., Warboys, B.C.

“…The specification and refinement of a large software system is given using a concurrent, formally based framework. The framework, OBM, is concerned with the…”
Get full text

Tool Support to Implementing Business Rules in Database Applications by Liwen Lin, Embury, S.M., Warboys, B.C.

“…In many cases, the programmer may require to encode business rules into the database applications. To do this, a large number of program elements may need to…”
Get full text

Facilitating the implementation and evolution of business rules by Lin, L., Embury, S.M., Warboys, B.C.

“…Many software systems implement, amongst other things, a collection of business rules. However, the process of evolving the business rules associated with a…”
Get full text

Specification and proof of a distributed recovery algorithm by Ye, X., Warboys, B.C., Keane, J.A.

“…Graph reduction, a computational model which supports the parallel execution of functional languages, is discussed. An MIMD (multiple instruction/multiple…”
Get full text

An asset view on the software process by Greenwood, R.M., Kawalek, P., Robertson, L., Warboys, B.C.

“…There are issues of concern to software engineers that cannot be addressed in the context of a single development project. This paper indicates some typical…”
Get full text