|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 142 occurrences of 90 keywords
|
|
|
|
|
Results
Found 73 publication records. Showing 73 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel (eds.) |
Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012  |
AOSD  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel (eds.) |
Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012 |
AOSD (Companion) |
2012 |
DBLP BibTeX RDF |
|
| 1 | Hamid Bagheri, Kevin J. Sullivan |
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari |
Modular aspect-oriented design with XPIs. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan |
Architectural style as an independent variable. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Bagheri, Kevin J. Sullivan |
Monarch: Model-Based Development of Software Architectures. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard P. Gabriel, Kevin J. Sullivan |
Better science through art. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Kevin J. Sullivan (eds.) |
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 |
FoSER |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Kevin J. Sullivan (eds.) |
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 |
SIGSOFT FSE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten, Erin Lim, Alan MacCormack, Robert L. Nord, Ipek Ozkaya, Raghvinder S. Sangwan, Carolyn B. Seaman, Kevin J. Sullivan, Nico Zazworka |
Managing technical debt in software-reliant systems. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Bagheri, Kevin J. Sullivan |
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Unifying aspect- and object-oriented design. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding |
| 1 | Kevin J. Sullivan, Ana Moreira, Christa Schwanninger, Jeff Gray (eds.) |
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009 |
AOSD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Phil Greenwood, Alessandro Garcia, Yuanfang Cai, Cláudio Sant'Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble |
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
metrics, modularity, assessment, adoption |
| 1 | Richard P. Gabriel, Kevin J. Sullivan |
Extravagaria V: photographing conferences (advanced). |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
history, photography, conferences |
| 1 | Steven Fraser, Ricardo Lopez, Pradeep Kathail, Douglas C. Schmidt, Mary Shaw, Kevin J. Sullivan, Dave A. Thomas |
Collaboration and communication: growing and sustaining ultra large scale (ULS) systems. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
ultra large systems, ULS |
| 1 | Phil Greenwood, Alessandro Garcia, Elisa L. A. Baniassad, Kevin J. Sullivan, Yuanfang Cai, Alan MacCormack |
2nd workshop on assessment of contemporary modularization techniques (ACoM 2008). |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
metrics, modularity, assessment, adoption |
| 1 | Richard P. Gabriel, Kevin J. Sullivan |
Extravagaria IV: photographing conferences. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
history, photography, conferences |
| 1 | Kevin J. Sullivan, Rick Kazman |
Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
ulssis, ultra-large-scale, systems, uls |
| 1 | Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan |
Automatic modularity conformance checking. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
modularity, conformance checking |
| 1 | Kevin J. Sullivan |
First Workshop on the Economics of Software and Computation. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan |
Workshop on Software Technologies for Ultra-Large Scale Systems. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan |
Modular Software Design with Crosscutting Interfaces. |
IEEE Software |
2006 |
DBLP DOI BibTeX RDF |
preconditions, aspect-oriented, postconditions |
| 1 | Yuanfang Cai, Kevin J. Sullivan |
Modularity Analysis of Logical Design Models. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard P. Gabriel, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan |
Ultra-large-scale systems. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
ultra-large-scale, design, methodology, systems |
| 1 | Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan |
Aspects and/versus modularity the grand debate. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
independent development, software engineering, aspect-oriented programming, modularization, separation of concerns, aspect-oriented software development, readability, program structure |
| 1 | Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan |
The ultra challenge: software systems beyond big. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
ultra, design, complexity, software, systems, ULS |
| 1 | Rick Kazman, Kevin J. Sullivan |
The 8th international workshop on economics-driven software engineering research. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
EDSER, software engineering economics |
| 1 | David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan |
Software Assurance by Bounded Exhaustive Testing. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, program verification, testing and debugging |
| 1 | Yuanfang Cai, Kevin J. Sullivan |
A value-oriented theory of modularity in design. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanfang Cai, Kevin J. Sullivan |
Simon: modeling and analysis of design space structures. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
design structure matrix, dependence, design rule |
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Aspect language features for concern coverage profiling. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C# |
| 1 | Kevin J. Sullivan |
7th international workshop on economics-driven software engineering research. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
software economics |
| 1 | Kevin J. Sullivan, Jeff Magee |
Science of design. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Classpects: unifying aspect- and object-oriented language design. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
classpect, join point-method binding, aspect-oriented |
| 1 | Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan |
Information hiding interfaces for aspect-oriented design. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, design rules, options |
| 1 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
Software assurance by bounded exhaustive testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
| 1 | Jia Xu, Hridesh Rajan, Kevin J. Sullivan |
Understanding Aspects via Implicit Invocation. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan |
Towards a Rigorous Definition of Information System Survivability. |
DISCEX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Robert R. Painter, Kevin J. Sullivan |
Shared Semantic Domains for Computational Reliability Engineering. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Kevin J. Sullivan |
Sound Methods and Effective Tools for Engineering Modeling and Analysis. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Eos: instance-level aspects for integrated system design. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
design, integration, mediators, aspects, C#, instances |
| 1 | Kevin J. Sullivan, Lin Gu, Yuanfang Cai |
Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
non-modularity, integration, aspect |
| 1 | M. Hakan Erdogmus, Barry W. Boehm, Warren Harrison, Donald J. Reifer, Kevin J. Sullivan |
Software engineering economics: background, current practices, and future directions. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea |
Web services engineering: promises and challenges. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gail C. Murphy, David Notkin, Kevin J. Sullivan |
Software Reflexion Models: Bridging the Gap between Design and Implementation. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
model differencing, Reverse engineering, program understanding, program representation, software structure |
| 1 | Kevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison |
Third International Workshop on Economics-Driven Software Engineering Research. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, Avneesh Saxena |
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen |
The structure and value of modularity in software design. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
design structure matrix, modularity, software, real options |
| 1 | David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan |
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Kevin J. Sullivan |
Multiple mass-market applications as components. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
component-based software, package-oriented programming |
| 1 | Barry W. Boehm, Kevin J. Sullivan |
Software economics: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Kevin J. Sullivan |
Galileo: a tool built from mass-market applications. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
large component integration, COTS, GALILEO, package-oriented programming |
| 1 | Kevin J. Sullivan |
The 2nd International Workshop on Economics-Driven Software Engineering Research. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Kevin J. Sullivan |
COM revisited: tool-assisted modelling of an architectural framework. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver |
| 1 | Kevin J. Sullivan, Mark Marchukov, John Socha |
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
component standards, interface negotiation, aggregation, Software components, COM, integration architecture, Component Object Model |
| 1 | Barry W. Boehm, Kevin J. Sullivan |
Software economics: status and prospects. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Copenhafer, Kevin J. Sullivan |
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
component, exploration, fault-tree, Galileo, package-oriented programming |
| 1 | Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit |
The Galileo Fault Tree Analysis Tool. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
DIFtree, Galileo, component-based, package-oriented programming, dynamic fault tree |
| 1 | Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist |
Information Survivability Control Systems. |
ICSE |
1999 |
DBLP BibTeX RDF |
architecture economics, infrastructure survivability, control |
| 1 | Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro |
First Workshop on Economics-Driven Software Engineering Research. |
ICSE |
1999 |
DBLP BibTeX RDF |
software engineering, economics, decision theory, finance |
| 1 | Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan |
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Kevin J. Sullivan |
Formal Specification in Collaborative Design of Critical Software Tools. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit |
Package-Oriented Programming of Engineering Tools. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
software engineering, architecture, integration, reuse, mediators, COTS, wrappers, package-oriented programming |
| 1 | Kevin J. Sullivan, John Socha, Mark Marchukov |
Using Formal Methods to Reason about Architectural Standards. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
software engineering, multimedia, architecture, formal methods, integration, mediator, Microsoft, empirical, ActiveX, OLE, OLE, COM, partial specification, Component Object Model |
| 1 | Kevin J. Sullivan, Ira Kalet, David Notkin |
Evaluating The Mediator Method: Prism as a Case Study. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
abstract behavioral type, radiation treatment, Software engineering, integration, object-oriented, software evolution, design methodology, mediator, implicit invocation, component-based |
| 1 | Kevin J. Sullivan |
Rapid Development of Simple, Custom Program Analysis Tools. (PDF / PS) |
WPC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, John C. Knight |
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. |
ICSE |
1996 |
DBLP BibTeX RDF |
Microsoft's OLE technology, architectural approach, architectural mismatch, fault-tree analysis tool, high-quality software, large-scale software components, large-scale systematic reuse, software quality, software reusability |
| 1 | Gail C. Murphy, David Notkin, Kevin J. Sullivan |
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan |
Adding Implicit Invocation to Languages: Three Approaches. |
ISOTAS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, David Notkin |
Reconciling Environment Integration and Software Evolution. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
abstract behavior type, behavior abstraction, component independence, environment integration, event mechanism, mediator/event design, software evolution, mediator, tool integration, integrated environment, implicit invocation |
| 1 | Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine |
A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion |
| 1 | Kevin J. Sullivan, David Notkin |
Reconciling environment integration and component independence. |
SDE |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #73 of 73 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")