Concepedia

Howard G. Foster

HG

17

Publications

1.2K

Citations

14

H-Index

1977

Active since

Affiliations

Imperial College London(Current)

Universidad de Buenos Aires

University College London

Howard G. Foster is an author at Imperial College London specializing in engineering, software design, and formal verification.

Top concepts

EngineeringSoftware DesignSystems EngineeringSystem SoftwareSoftware AnalysisFormal VerificationFormal MethodsSoftware EngineeringVerificationComputer Science

Publications per year

1977–2011

17

Publications

17

Model-based verification of Web service compositions

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · 2004 · 440 citations

Web Service Specification, Engineering, Verification +20

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · 2006 · 165 citations

Software Maintenance, Web Service Specification, Engineering +16

Compatibility verification for Web service choreography

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · International Conference on Web Services · 2004 · 127 citations

Web Service Specification, Engineering, Verification +16

Model-Based Analysis of Obligations in Web Service Choreography

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · 2006 · 83 citations

Web Service Specification, Engineering, Web Service Modeling +14

Compatibility verification for Web service choreography

Howard G. Foster, Sebastián Uchitel, Jeff Magee et al. · Proceedings. IEEE International Conference on Web Services, 2004. · 2004 · 81 citations

Web Service Specification, Engineering, Verification +16

Rows per page

1–5 of 17