| 2008 |
|---|
| 35 | EE | M. Todd Gamble,
Rose F. Gamble:
Reasoning about Hybrid System of Systems Designs.
ICCBSS 2008: 154-163 |
| 34 | EE | Robert Baird,
Michelle Hepner,
Noah Jorgenson,
Rose F. Gamble:
Automating Preference and Change in Workflows.
ICCBSS 2008: 184-193 |
| 33 | EE | Rose F. Gamble,
Robert Baird,
Leigh Flagg,
Melody McClure:
FACT: A fusion architecture with contract templates for semantic and syntactic integration.
IRI 2008: 380-385 |
| 32 | EE | M. Todd Gamble,
Rose F. Gamble:
Monoliths to Mashups: Increasing Opportunistic Assets.
IEEE Software 25(6): 71-79 (2008) |
| 31 | EE | Rose F. Gamble,
Grace A. Lewis:
Systems interoperability, integration, and composition.
Software Process: Improvement and Practice 13(2): 111-112 (2008) |
| 30 | EE | M. Todd Gamble,
Rose F. Gamble:
Isolation in design reuse.
Software Process: Improvement and Practice 13(2): 145-156 (2008) |
| 2006 |
|---|
| 29 | EE | Michelle Hepner,
M. Todd Gamble,
Rose F. Gamble:
Forming a Security Certification Enclave for Service-Oriented Architectures.
SCW 2006: 148-155 |
| 28 | | Manasi Kelkar,
Melanie Smith,
Rose F. Gamble:
Interaction Partnering Criteria for COTS Components.
SEKE 2006: 278-283 |
| 27 | | Michelle Hepner,
M. Todd Gamble,
Rose F. Gamble:
Elevating Interaction Requirements for Web Service Composition.
SEKE 2006: 697-701 |
| 26 | EE | Michelle Hepner,
Rose F. Gamble,
Manasi Kelkar,
Leigh A. Davis,
Daniel Flagg:
Patterns of conflict among software components.
Journal of Systems and Software 79(4): 537-551 (2006) |
| 2005 |
|---|
| 25 | EE | Leigh A. Davis,
Rose F. Gamble,
Michelle Hepner,
Manasi Kelkar:
Toward Formalizing Service Integration Glue Code.
IEEE SCC 2005: 165-172 |
| 24 | EE | Michelle Hepner,
Rose F. Gamble:
Establishing Connectors as Integration Services.
WICSA 2005: 280-284 |
| 23 | EE | M. Todd Gamble,
Rose F. Gamble,
Michelle Hepner:
Understanding solution architecture concerns.
ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005) |
| 2004 |
|---|
| 22 | EE | Leigh A. Davis,
Rose F. Gamble:
Understanding Services for Integration Management.
ICCBSS 2004: 84-93 |
| 21 | EE | Daniel Flagg,
Rose F. Gamble,
Robert Baird,
William Stewart:
Migrating Application Integrations.
ICCBSS 2004: 94-103 |
| 20 | EE | Leigh A. Davis,
Rose F. Gamble,
S. Kimsen:
A patterned approach for linking knowledge-based systems to external resources.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(1): 222-233 (2004) |
| 2003 |
|---|
| 19 | EE | Gerður Jónsdóttir,
Leigh A. Davis,
Rose F. Gamble:
Designing Secure Integration Architectures.
ICCBSS 2003: 112-122 |
| 18 | EE | Leigh A. Davis,
Daniel Flagg,
Rose F. Gamble,
C. Karatas:
Classifying Interoperability Conflicts.
ICCBSS 2003: 62-71 |
| 17 | | M. Todd Gamble,
Rose F. Gamble,
Leigh A. Davis:
Defining Change Management Properties for Component Interoperability Assessment.
SEKE 2003: 475-482 |
| 2002 |
|---|
| 16 | EE | Jamie Payton,
Gerður Jónsdóttir,
Daniel Flagg,
Rose F. Gamble:
Merging Integration Solutions for Architecture and Security Mismatch.
ICCBSS 2002: 199-208 |
| 15 | EE | Leigh A. Davis,
Rose F. Gamble:
Identifying Evolvability for Integration.
ICCBSS 2002: 65-75 |
| 14 | EE | Leigh A. Davis,
Rose F. Gamble,
Jamie Payton:
The impact of component architectures on interoperability.
Journal of Systems and Software 61(1): 31-45 (2002) |
| 2001 |
|---|
| 13 | EE | Leigh A. Davis,
Rose F. Gamble,
Jamie Payton,
Gerður Jónsdóttir,
Dennis J. Underwood:
A notation for problematic architecture interactions.
ESEC / SIGSOFT FSE 2001: 132-141 |
| 12 | | Leigh A. Davis,
Rose F. Gamble:
Conflict Patterns: Toward Identifying Suitable Middleware.
IRI 2001: 121-126 |
| 2000 |
|---|
| 11 | EE | Leigh A. Davis,
Jamie Payton,
Rose F. Gamble:
How system architectures impede interoperability.
Workshop on Software and Performance 2000: 145-146 |
| 1999 |
|---|
| 10 | EE | A. V. Pai,
Rose F. Gamble,
Robert Plant:
Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs.
Information & Software Technology 41(10): 627-638 (1999) |
| 9 | EE | Rose F. Gamble,
Patricia Stiger,
Robert Plant:
Rule-based systems formalized within a software architectural style.
Knowl.-Based Syst. 12(1-2): 13-26 (1999) |
| 1997 |
|---|
| 8 | EE | Robert Plant,
Rose F. Gamble:
Using meta-knowledge within a multilevel framework for KBS development.
Int. J. Hum.-Comput. Stud. 46(2-3): 523-547 (1997) |
| 1996 |
|---|
| 7 | EE | Rose F. Gamble,
D. M. Baughman:
A methodology to incorporateformal methods in hybrid KBS verification.
Int. J. Hum.-Comput. Stud. 44(2): 213-244 (1996) |
| 6 | EE | Rose F. Gamble,
Teresa M. Shaft:
Eliminating Redundancy, Conflict, and Incompleteness from Knowledge-Based Systems.
International Journal of Software Engineering and Knowledge Engineering 6(4): 673-697 (1996) |
| 1995 |
|---|
| 5 | EE | Rose F. Gamble:
Integrating a formal specification course with a software projects course via an editing tool.
SIGCSE 1995: 312-316 |
| 1993 |
|---|
| 4 | EE | Gruia-Catalin Roman,
Rose F. Gamble,
William E. Ball:
Formal Derivation of Rule-Based Programs.
IEEE Trans. Software Eng. 19(3): 277-296 (1993) |
| 1992 |
|---|
| 3 | EE | Gruia-Catalin Roman,
Rose F. Gamble,
William E. Ball:
Seeking Concurrency in Rule-Based Programming.
ICSE 1992: 225-234 |
| 1991 |
|---|
| 2 | | Rose F. Gamble,
Gruia-Catalin Roman,
William E. Ball:
Formal Verification of Pure Production System Programs.
AAAI 1991: 329-334 |
| 1990 |
|---|
| 1 | EE | Rose F. Gamble:
Transforming Rule-Based Programs: From the Sequential to the Parallel.
IEA/AIE (Vol. 2) 1990: 854-863 |
