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 |