2008 |
43 | EE | Igor Siveroni,
Andrea Zisman,
George Spanoudakis:
Property Specification and Static Verification of UML Models.
ARES 2008: 96-103 |
42 | EE | Andrea Zisman,
George Spanoudakis,
James Dooley:
A Framework for Dynamic Service Discovery.
ASE 2008: 158-167 |
41 | EE | Andrea Zisman,
James Dooley,
George Spanoudakis:
Proactive Runtime Service Discovery.
IEEE SCC (1) 2008: 237-245 |
40 | EE | Gilberto A. Cysneiros Filho,
Andrea Zisman:
Traceability and completeness checking for agent-oriented systems.
SAC 2008: 71-77 |
2007 |
39 | | Elisabetta Di Nitto,
Andrea Polini,
Andrea Zisman:
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia, September 3, 2007
ACM 2007 |
38 | EE | Elisabetta Di Nitto,
Andrea Polini,
Andrea Zisman:
2nd international workshop on service oriented software engineering (IW-SOSWE 2007).
ESEC/SIGSOFT FSE 2007: 613-614 |
37 | EE | Elisabetta Di Nitto,
Andrea Polini,
Andrea Zisman:
2nd international workshop on service oriented software engineering: (IW-SOSWE 2007).
ESEC/SIGSOFT FSE (Companion) 2007: 613-614 |
36 | EE | Andrea Zisman:
A Static Verification Framework for Secure Peer-to-Peer Applications.
ICIW 2007: 8 |
35 | EE | George Spanoudakis,
Khaled Mahbub,
Andrea Zisman:
A Platform for Context Aware Runtime Web Service Discovery.
ICWS 2007: 233-240 |
34 | EE | Andrea Zisman,
Khaled Mahbub,
George Spanoudakis:
A Service Discovery Framework based on Linear Composition.
IEEE SCC 2007: 536-543 |
33 | | Gilberto A. Cysneiros Filho,
Andrea Zisman:
Traceability for Agent-Oriented Design Models and Code.
SEKE 2007: 552-558 |
32 | EE | Thomas Ellman,
Andrea Zisman:
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).
Autom. Softw. Eng. 14(2): 127-128 (2007) |
31 | EE | Olivier Nano,
Andrea Zisman:
Guest Editors' Introduction: Realizing Service-Centric Software Systems.
IEEE Software 24(6): 28-30 (2007) |
30 | EE | Alexander Kozlenkov,
George Spanoudakis,
Andrea Zisman,
V. Fasoulas,
F. Sanchez:
Architecture-Driven Service Discovery for Service Centric Systems.
Int. J. Web Service Res. 4(2): 82-113 (2007) |
2006 |
29 | | Elisabetta Di Nitto,
Robert J. Hall,
Jun Han,
Yanbo Han,
Andrea Polini,
Kurt Sandkuhl,
Andrea Zisman:
The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006
IEEE Computer Society 2006 |
28 | EE | George Spanoudakis,
Andrea Zisman:
UML-based Service Discovery Tool.
ASE 2006: 361-362 |
27 | EE | Elisabetta Di Nitto,
Robert J. Hall,
Jun Han,
Yanbo Han,
Andrea Polini,
Kurt Sandkuhl,
Andrea Zisman:
International workshop on service oriented software engineering (IW-SOSE'06).
ICSE 2006: 1036-1037 |
26 | EE | Andrea Zisman,
George Spanoudakis:
UML-Based Service Discovery Framework.
ICSOC 2006: 402-414 |
25 | EE | Elisabetta Di Nitto,
Robert J. Hall,
Jun Han,
Yanbo Han,
Andrea Polini,
Kurt Sandkuhl,
Andrea Zisman:
Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).
ACM SIGSOFT Software Engineering Notes 31(5): 36-38 (2006) |
2005 |
24 | | David F. Redmiles,
Thomas Ellman,
Andrea Zisman:
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA
ACM 2005 |
23 | EE | Waraporn Jirapanthong,
Andrea Zisman:
Supporting Product Line Development through Traceability.
APSEC 2005: 506-514 |
22 | EE | Andrea Zisman,
Thomas Ellman:
2nd Workshop on the state of the art in automated software engineering.
ASE 2005: 464 |
21 | EE | George Spanoudakis,
Andrea Zisman,
Alexander Kozlenkov:
A Service Discovery Framework for Service Centric Systems.
IEEE SCC 2005: 251-259 |
20 | EE | George Spanoudakis,
Andrea Zisman:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 15(5): 747-750 (2005) |
2004 |
19 | EE | Robert J. Hall,
Andrea Zisman:
Validating Personal Requirements by Assisted Symbolic Behavior Browsing .
ASE 2004: 56-66 |
18 | EE | Robert J. Hall,
Andrea Zisman:
Behavioral models as service descriptions.
ICSOC 2004: 163-172 |
17 | EE | Robert J. Hall,
Andrea Zisman:
OMML: A Behavioural Model Interchange Format.
RE 2004: 272-282 |
16 | EE | Robert J. Hall,
Andrea Zisman:
Model interchange and integration for web services.
ACM SIGSOFT Software Engineering Notes 29(5): 1-11 (2004) |
15 | EE | George Spanoudakis,
Andrea Zisman,
Elena Pérez-Miñana,
Paul Krause:
Rule-based generation of requirements traceability relations.
Journal of Systems and Software 72(2): 105-127 (2004) |
2003 |
14 | EE | Robert J. Hall,
Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information.
ASE 2003: 347-351 |
13 | | George Spanoudakis,
Artur S. d'Avila Garcez,
Andrea Zisman:
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.
SEKE 2003: 570-577 |
12 | | Andrea Zisman,
Alexander Kozlenkov:
Managing Inconsistencies in UML Specifications.
SNPD 2003: 128-138 |
11 | | Andrea Zisman,
George Spanoudakis,
Elena Pérez-Miñana,
Paul Krause:
Tracing Software Requirements Artifacts.
Software Engineering Research and Practice 2003: 448-455 |
2002 |
10 | EE | Alexander Kozlenkov,
Andrea Zisman:
Are their Design Specifications Consistent with our Requirements?
RE 2002: 145-156 |
2001 |
9 | EE | Andrea Zisman,
Alexander Kozlenkov:
Knowledge Base Approach to Consistency Management of UML Specification.
ASE 2001: 359-363 |
8 | EE | Andrea Zisman,
Adamantia Athanasopoulou:
Consistency Management of Financial XML Documents.
CAiSE 2001: 219-233 |
2000 |
7 | EE | Andrea Zisman,
Wolfgang Emmerich,
Anthony Finkelstein:
Using XML to Build Consistency Rules for Distributed Specifications.
IWSSD 2000: 141-148 |
6 | | George Spanoudakis,
Andrea Zisman:
Information Monitors: An Architecture Based on XML.
OOIS 2000: 442-455 |
5 | | Christian Nentwich,
Wolfgang Emmerich,
Anthony Finkelstein,
Andrea Zisman:
BOX: Browsing objects in XML.
Softw., Pract. Exper. 30(15): 1661-1676 (2000) |
1999 |
4 | EE | Andrea Zisman,
Anthony Finkelstein:
XML for Software Engineers University College London.
RE 1999: 193- |
3 | EE | Andrea Zisman,
Jeff Kramer:
An approach to interoperation between autonomous database systems.
Distributed Systems Engineering 6(4): 135- (1999) |
1997 |
2 | EE | Andrea Zisman,
Jeff Kramer:
Supporting Interoperability of Autonomous Hospital Databases: A Case Study.
ADBIS 1997: 285-294 |
1994 |
1 | EE | V. W. Setzer,
Andrea Zisman:
New Concurrency Control Algorithms for Accessing and Compacting B-Trees.
VLDB 1994: 238-248 |