Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano |
Reflection-Based, Aspect-Oriented Software Architecture. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Chenggan Quan, Shuang Wang, Lin Mai |
Implementation of a Personalized Portal for Academic Library. |
ICADL |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Karl Pauls, Richard S. Hall |
Eureka - A Resource Discovery Service for Component Deployment. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Shmuel Katz, Awais Rashid |
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Lei Cheng, Yongji Wang 0001 |
Communication-based multiple mobile robots rigid formation control. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Gregory Hackmann, Christine Julien 0001, Jamie Payton, Gruia-Catalin Roman |
Supporting Generalized Context Interactions. |
SEM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hao Tian 0001, Yi Pan 0001, Ajay K. Katangur, Jiling Zhong |
A Novel Modularized Optical Multistage Interconnection Network Architecture with Multicast Capability. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Uirá Kulesza, Alessandro F. Garcia 0001, Carlos José Pereira de Lucena, Paulo S. C. Alencar |
A Generative Approach for Multi-agent System Development. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro F. Garcia 0001, Uirá Kulesza, Carlos José Pereira de Lucena |
Aspectizing Multi-agent Systems: From Architecture to Implementation. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mira Mezini, Klaus Ostermann |
Variability management with feature-oriented programming and aspects. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
feature-oriented, product lines, aspect-oriented, variability management |
10 | Sven Havemann, Dieter W. Fellner |
Generative Parametric Design of Gothic Window Tracery. |
SMI |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Merijn de Jonge |
Decoupling Source Trees into Build-Level Components. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Bi-Chu Wu, Chung-Kai Chen, Gin-Shu Young, Yu-Ching Liu, Su-Jan Lee |
Fast Prototyping of Protein Reaction Microfluidic Chips. |
ICMENS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro |
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu |
Design and Implementation of Distributed Crosscutting Features with DADO. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mariano Ceccato, Paolo Tonella |
Adding Distribution to Existing Applications by Means of Aspect Oriented Programming. |
SCAM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Paolo Tonella, Mariano Ceccato |
Migrating Interface Implementation to Aspects. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten |
Towards preserving correctness in self-managed software systems. |
WOSS |
2004 |
DBLP DOI BibTeX RDF |
distributed software compositions, runtime software reconfiguration, software architectures |
10 | Marko Niinimäki, Miika Tuisku, Matti Heikkurinen |
Designing for flexibility: separating user interface design from program logic and data. |
ISICT |
2003 |
DBLP BibTeX RDF |
|
10 | Jung-Hwa Chae, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang |
XSLT Template Design for Generating the Web Presentation Layer. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Mehreen Saeed, Onaiza Maqbool, Haroon Atique Babri, Syed Zahoor Hassan, S. Mansoor Sarwar |
Software Clustering Techniques and the Use of Combined Algorithm. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
Combined algorithm, Binary Features, Correlation, Software Clustering |
10 | Yon-Jung Jang, Eun-Young Kim, Kyung-Whan Lee |
Object-Oriented Component Identification Method Using the Affinity Analysis Technique. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
Component Identification Method, Class and Use Case Affinity Analysis Technique, Component-based Development, CBD |
10 | Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström |
Towards Aspectual Component-Based Development of Real-Time Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kiarash Mahdavi, Mark Harman, Robert M. Hierons |
Finding Building Blocks for Software Clustering. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Diemo Urbig, Dagmar Monett Díaz, Kay Schröter |
The C-IPS Agent Architecture for Modeling Negotiating Social Agents. |
MATES |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu |
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kiarash Mahdavi, Mark Harman, Robert M. Hierons |
A Multiple Hill Climbing Approach to Software Module Clustering. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
Module clustering, Hill climbing, Search based software engineering |
10 | Amie L. Souter, David C. Shepherd, Lori L. Pollock |
Testing with Respect to Concerns. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nevzat Hurkan Balkir, Gultekin Özsoyoglu, Z. Meral Özsoyoglu |
A Graphical Query Language: VISUAL and Its Query Processing. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
query processing, scientific databases, Database query languages, object algebra |
10 | Ralph-Johan Back |
SFI: A Refinement Based Layered Software Architecture. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ronan Collobert, Yoshua Bengio, Samy Bengio |
Scaling Large Learning Problems with Hard Parallel Mixtures. |
SVM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Johannes Sametinger, Matthias Riebisch |
Evolution Support by Homogeneously Documenting Patterns, Aspects and Traces. |
CSMR |
2002 |
DBLP DOI BibTeX RDF |
design pattern, evolution, documentation, object-oriented design, maintenance, traceability, javadoc |
10 | Eugenio G. Omodeo, Jacob T. Schwartz |
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Catalin Amza, Gianna Reggio |
A Notation for Component-Based Design of Java Applications. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Frank Rößler, Birgit Geppert, Reinhard Gotzhein |
CoSDL: An Experimental Language for Collaboration Specification. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jayadev Misra |
The Case against a Grand Unification Theory. |
ICSR |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Boris Motik, Alexander Maedche, Raphael Volz |
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Roman M. Wong, Siddhartha Bhattacharyya |
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
knowledge intensive processes, task structure, audit risk assessment, software engineering, knowledge-based systems, knowledge acquisition, software reuse, Knowledge modeling |
10 | Avi Bryant, Andrew Catton, Kris De Volder, Gail C. Murphy |
Explicit programming. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
Java |
10 | Elisa L. A. Baniassad, Gail C. Murphy, Christa Schwanninger, Michael Kircher |
Managing crosscutting concerns during software evolution tasks: an inquisitive study. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
empirical study, aspect-oriented programming, software evolution |
10 | Kevin J. Sullivan, Lin Gu 0001, 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 |
10 | Adelinde M. Uhrmacher |
Dynamic structures in modeling and simulation: a reflective approach. |
ACM Trans. Model. Comput. Simul. |
2001 |
DBLP DOI BibTeX RDF |
modeling and simulation formalism, variable structure models, reflection, bisimulation, DEVS |
10 | Fosca Giannotti, Giuseppe Manco 0001, Franco Turini |
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study. |
PKDD |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Sabine Kuske |
A Formal Semantics of UML State Machines Based on Structured Graph Transformation. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Zhi-Gang Xu, Ke Zheng Huang, Wei Min Liu |
Agent-Based Cooperative NC Conceptual Design. |
CSCWD |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jozef Kelemen |
From Statistics to Emergence: Exercises in Systems Modularity. |
EASSS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Puchol, Subramanian K. Iyer |
The MacBeth Specification, Modeling and Programming Language. |
IEEE Real Time Technology and Applications Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Schuler, Heiko Schuldt, Hans-Jörg Schek |
Supporting Reliable Transactional Business Processes by Publish/Subscribe Techniques. |
TES |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Yonit Kesten, Amir Pnueli |
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant |
10 | Pao-Ann Hsiung |
CMAPS: a cosynthesis methodology for application-oriented parallel systems. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
application-oriented general-purpose multiprocessors, hardware-software modeling and cosynthesis, requirements analysis |
10 | Fernando Brito e Abreu, Gonçalo Pereira, Pedro Manuel Antunes Sousa |
A Coupling-Guided Cluster Analysis Approach to Reengineer the Modularity of Object-Oriented Systems. |
CSMR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Gregor Snelting |
Software Reengineering Based on Concept Lattices. |
CSMR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Antonio Caliò, Massimo Autiero, Giuseppe Bux |
Software process improvement by object technology (ESSI PIE 27785 -- SPOT). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Rational Rose, three-tier reference model, unified modelling language UML, UML, software reuse, software components, object oriented technology |
10 | Andreas Franke 0001, Michael Kohlhase |
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Hassen Saïdi |
Modular and Incremental Analysis of Concurrent Software Systems. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin M. Brosgol |
Ada and the Objects. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli |
LOCAL++: A C++ Framework for Local Search Algorithms. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
Frameworks and patterns, Applications, Search algorithms |
10 | Elizabeth Burd, Malcolm Munro |
Evaluating the Use of Dominance Trees for C and COBOL. |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Davide Ancona |
An Algebraic Framework for Separate Type-Checking. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Gregor Snelting |
Concept Analysis - A New Framework for Program Understanding. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Bettina Buth, Jan Peleska 0001, Hui Shi 0001 |
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Philip W. L. Fong, Robert D. Cameron |
Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
Java |
10 | Marina Waldén |
Layering Distributed Algorithms within the B-Method. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper |
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Herwig Mayr |
GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models. |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Balboni, William Fornaciari, Donatella Sciuto |
Partitioning and Exploration Strategies in the TOSCA Co-Design Flow. |
CODES |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Alberto Ruiz García, Francisco J. Arcas Túnez |
Quasi-Optimum Combination of Multilayer Perceptrons for Adaptive Multiclass Pattern Recognition. |
IWANN |
1995 |
DBLP DOI BibTeX RDF |
neural networks, data fusion, pattern classification, classifiers, combination, density estimation |
10 | Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi |
Design of Active Rule Applications: Issues and Approaches. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Flavio De Paoli, Francesco Tisato |
CSDL: A Language for Cooperative Systems Design. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
cooperative systems design, CSDL, group activities, cooperation policy, conferencing systems, distributed systems, software architecture, CSCW, groupware, groupware, distributed processing, specification languages, specification language, cooperative systems, shared workspaces, design language, floor control |
10 | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
Modular Logic Programming. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations |
10 | David R. Israel |
Principles for principals. |
J. Syst. Integr. |
1993 |
DBLP DOI BibTeX RDF |
integration, System engineering, acquisition, lessons learned |
10 | Rodger Lea, Christian Jacquemot |
The COOL architecture and abstractions for object-oriented distributed operating systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Pedro A. Szekely, Ping Luo, Robert Neches |
Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design. |
CHI |
1992 |
DBLP DOI BibTeX RDF |
development tools and methods, dialogue specification, interface design representation, rapid prototyping, design processes, user interface management systems |
10 | Sanjay Gadkari |
Abstract data groups: structuring distributed programs as layers. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Ilka Miloucheva, Hans Loeper |
Compiler structure engineering with attribute grammars. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
COBOL |
10 | Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs |
On the Relationship Between Algebraic Module Specifications and Program Modules. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari |
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
10 | David John Smellie, F. Evans |
Structured Expert System Design. |
APL |
1990 |
DBLP DOI BibTeX RDF |
APL |
10 | Gunter Saake |
Conceptual Modeling of Database Applications. |
IS/KI |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Wolfgang Schröder-Preikschat |
PEACE - A Distributed Operating System for High-Performance Multicomputer Systems. |
Process in Distributed Operating Systems and Distributed Systems Management |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Christian S. Collberg |
Data Structures, Algorithms, and Software Engineering. |
CSEE |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Hal Berghel, Richard Rankin, Sanjiv K. Bhatia |
MS-DOS Prolog implementations revisited. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog, MS-DOS |
10 | Sanjiv Ranjan |
MTEEP: mechanical transmission element expert system. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
10 | Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin |
How to Make Algebraic Specifications More Understandable?. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
10 | Martin Bever, Peter C. Lockemann |
Database Hosting in Strongly-Typed Programming Languages. |
ACM Trans. Database Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
10 | John G. Fletcher |
Serial link protocol design: A critique of the X.25 standard, level 2. |
Comput. Commun. Rev. |
1984 |
DBLP DOI BibTeX RDF |
|
10 | Naftaly H. Minsky, Alexander Borgida |
The Darwin Software-Developemnt-Environemnt for Evolving Systems. |
Software Development Environments (SDE) |
1984 |
DBLP DOI BibTeX RDF |
|
10 | Butler W. Lampson, Robert F. Sproull |
An Open Operating System for a Single-User Machine. |
SOSP |
1979 |
DBLP DOI BibTeX RDF |
|
10 | Mark B. Wells |
Implementation and application of a function data type. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|