Search results for "modularization"

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