71 search results - page 1 / 15 » In Search of a Unified Theory of Software Engineering |
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The d...
PSSE
2004
Springer
14 years 8 days ago
2004
Springer
APSEC
2001
IEEE
13 years 10 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
TASE
2009
IEEE
14 years 1 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
SOCO
2007
Springer
14 years 1 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...