Search results for "modularisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Jennifer Munnelly, Serena Fritsch, Siobhán Clarke	An Aspect-Oriented Approach to the Modularisation of Context.	PerCom	2007	DBLP DOI BibTeX RDF
51	Pavel Avgustinov, Torbjörn Ekman 0001, Julian Tibble	Modularity first: a case for mixing AOP and attribute grammars.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming, modularity, separation of concerns, extensible compilers
50	Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum	Towards Dynamic Population Management of Abstract Machines in the B Method.	ZB	2003	DBLP DOI BibTeX RDF	modularisation, object orientation, dynamic reconfiguration, Structuring mechanisms
50	Kim Mens, Tom Mens, Michel Wermelinger	Maintaining software through intentional source-code views.	SEKE	2002	DBLP DOI BibTeX RDF	logic metaprogramming, modularisation, software maintenance and evolution, crosscutting concerns, validation and verification
42	Piet van Remortel, Bernard Manderick, Tom Lenaerts	Gene Interaction and Modularisation in a Model for Gene-Regulated Development.	Evolvable Hardware	2004	DBLP DOI BibTeX RDF
42	Awais Rashid, Ana M. D. Moreira, João Araújo 0001	Modularisation and composition of aspectual requirements.	AOSD	2003	DBLP DOI BibTeX RDF	aspectual trade-offs, traceability, aspect-oriented requirements engineering, aspect composition
42	George Dayantis	Types, Modularisation and Abstraction in Logic Programming.	ALP	1988	DBLP DOI BibTeX RDF
34	Cormac Driver, Siobhán Clarke	Distributed Systems Development: Can We Enhance Evolution by Using AspectJ?	OOIS	2003	DBLP DOI BibTeX RDF
34	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.	ZB	2000	DBLP DOI BibTeX RDF
34	Kees Middelburg	The VIP VDM Specification Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
25	Ashley Mann, Stephen Swift, Mahir Arzoky	Applying Graph Partitioning-Based Seeding Strategies to Software Modularisation.	EvoApplications@EvoStar	2024	DBLP DOI BibTeX RDF
25	Jessica Ulmer, Sebastian Braun, Chi-Tsun Cheng, Steve Dowey, Jörg F. Wollert	A human factors-aware assistance system in manufacturing based on gamification and hardware modularisation.	Int. J. Prod. Res.	2023	DBLP DOI BibTeX RDF
25	Dennis Hemker, Stefan Kreutter, Harald Mathis	On Reducing Complexity in AI Pipelines: Modularisation to Retain Control.	ERCIM News	2023	DBLP BibTeX RDF
25	Yuyan Shen	Modularisation interface mechanism supported by equilibrium measurement of cloud logistics platform for smart communities.	Int. J. Comput. Sci. Math.	2022	DBLP DOI BibTeX RDF
25	Jiahua Li, Ali Yamini	Clustering-based software modularisation models for resource management in enterprise systems.	Enterp. Inf. Syst.	2022	DBLP DOI BibTeX RDF
25	Hagen Peukert	Scaling by Optimising: Modularisation of Data Curation Services in Growing Organisations.	Int. J. Digit. Curation	2021	DBLP DOI BibTeX RDF
25	Yuyan Shen, Yan Qian, Shufang Li, Xudong Wu	Cloud logistics and risk assessment design platform based on service modularisation.	Int. J. Wirel. Mob. Comput.	2021	DBLP DOI BibTeX RDF
25	Xi Xi, Jianyu Zhao, Qi Na	Design of knowledge representation and measuring method for enterprise knowledge network based on task modularisation.	Enterp. Inf. Syst.	2021	DBLP DOI BibTeX RDF
25	Mario Fargnoli, Nicolas Haber, Tomohiko Sakao	PSS modularisation: a customer-driven integrated approach.	Int. J. Prod. Res.	2019	DBLP DOI BibTeX RDF
25	Björn Lellmann, Elaine Pimentel	Modularisation of Sequent Calculi for Normal and Non-normal Modalities.	ACM Trans. Comput. Log.	2019	DBLP DOI BibTeX RDF
25	Zubeida Casmod Khan, C. Maria Keet	NOMSA: Automated Modularisation for Abstraction Modules.	EKAW (Posters & Demos)	2018	DBLP BibTeX RDF
25	Björn Lellmann, Elaine Pimentel	Modularisation of Sequent Calculi for Normal and Non-normal Modalities.	CoRR	2017	DBLP BibTeX RDF
25	Xueli An, Riccardo Trivisonno, Hans Joachim Einsiedler, Dirk von Hugo, Kay Haensge, Xiaofeng Huang, Qing Shen, Daniel Corujo, Kashif Mahmood, Dirk Trossen, Marco Liebsch, Filipe Leitão, Cao-Thanh Phan, Frederic Klamm	Architecture modularisation for next generation mobile networks.	EuCNC	2017	DBLP DOI BibTeX RDF
25	Xueli An, Riccardo Trivisonno, Hans Joachim Einsiedler, Dirk von Hugo, Kay Haensge, Xiaofeng Huang, Qing Shen, Daniel Corujo, Kashif Mahmood, Dirk Trossen, Marco Liebsch, Filipe Leitão, Cao-Thanh Phan, Frederic Klamm	End-to-End Architecture Modularisation and Slicing for Next Generation Networks.	CoRR	2016	DBLP BibTeX RDF
25	Kamila Valentino, Mariana Santos 0001, Luisa Hernández, Paulo Afonso Parreira, Heitor A. X. Costa	Characterization of the modularisation of open-source systems - A case study in domain of games.	SCCC	2016	DBLP DOI BibTeX RDF
25	Zubeida Casmod Khan, C. Maria Keet	An empirically-based framework for ontology modularisation.	Appl. Ontology	2015	DBLP DOI BibTeX RDF
25	Mahir Arzoky	Munch: an efficient modularisation strategy on sequential source code check-ins.		2015	RDF
25	Francisco Martín-Recuerda, Dirk Walther 0002	Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs.	ISWC (2)	2014	DBLP DOI BibTeX RDF
25	Mahir Arzoky, Stephen Swift, Steve Counsell, James Cain	A Measure of the Modularisation of Sequential Software Versions Using Random Graph Theory.	XP Workshops	2014	DBLP DOI BibTeX RDF
25	Mahir Arzoky, Stephen Swift, Steve Counsell, James Cain	An Approach to Controlling the Runtime for Search Based Modularisation of Sequential Source Code Check-ins.	IDA	2014	DBLP DOI BibTeX RDF
25	Nourhène Alaya, Sadok Ben Yahia	Nouvelle mesure de degré de relation sémantique pour une meilleur modularisation d'ontologies.	IC	2013	DBLP BibTeX RDF
25	Gabriel Serme	Modularization of security software engineering in distributed systems. (Modularisation de la sécurité informatique dans les systèmes distribués).		2013	RDF
25	Mahir Arzoky, Stephen Swift, Allan Tucker, James Cain	A Seeded Search for the Modularisation of Sequential Software Versions.	J. Object Technol.	2012	DBLP DOI BibTeX RDF
25	Nourhène Alaya, Sadok Ben Yahia, Myriam Lamolle	Modlson: une nouvelle approche de modularisation d'ontologies à grande échelle.	EGC	2012	DBLP BibTeX RDF
25	Patricia Conde Céspedes, François Marcotorchino	Modularisation et Recherche de Communautés dans les réseaux complexes par Unification Relationnelle.	AAFD	2012	DBLP BibTeX RDF
25	Syed Muhammad Ali Shah, Jens Dietrich 0001, Catherine McCartin	On the Automated Modularisation of Java Programs Using Service Locators.	SC@TOOLS	2012	DBLP DOI BibTeX RDF
25	Mathew Hall, Neil Walkinshaw, Phil McMinn	Supervised software modularisation.	ICSM	2012	DBLP DOI BibTeX RDF
25	Mahir Arzoky, Stephen Swift, Allan Tucker, James Cain	Munch: An Efficient Modularisation Strategy to Assess the Degree of Refactoring on Sequential Source Code Checkings.	ICST Workshops	2011	DBLP DOI BibTeX RDF
25	Dhavalkumar Thakker, Vania Dimitrova, Lydia Lau, Ronald Denaux, Stan Karanasios, Fan Yang-Turner	A priori ontology modularisation in ill-defined domains.	I-SEMANTICS	2011	DBLP DOI BibTeX RDF
25	Scibor Sobieski, Bartosz Zielinski 0002	Modularisation in Maude of Parametrized RBAC for Row Level Access Control.	ADBIS	2011	DBLP DOI BibTeX RDF
25	Flammie A. Pirinen	Modularisation of Finnish Finite-State Language Description - Towards Wide Collaboration in Open Source Development of a Morphological Analyser.	NODALIDA	2011	DBLP BibTeX RDF
25	Jens Dietrich 0001, Catherine McCartin, Ewan D. Tempero, Syed M. Ali Shah	Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs.	QoSA	2010	DBLP DOI BibTeX RDF
25	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala	Supporting Reuse in Event B Development: Modularisation Approach.	ASM	2010	DBLP DOI BibTeX RDF
25	Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, Steffen Zschaler	On Language-Independent Model Modularisation.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
25	Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter	Formal Properties of Modularisation.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
25	Alessandro Ricci, Michele Piunti, Mirko Viroli	Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.	LADS	2009	DBLP DOI BibTeX RDF
25	Fabrice Seite, Oliver Schneider 0002, Andreas Nobs	The Concept of Modularisation of Industrial Services.	APMS	2009	DBLP DOI BibTeX RDF
25	Alessandro Ricci, Michele Piunti, Mirko Viroli	Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming.	MALLOW	2009	DBLP BibTeX RDF
25	Saeed Parsa, Omid Bushehrian	Performance-driven object-oriented program re-modularisation.	IET Softw.	2008	DBLP DOI BibTeX RDF
25	Hyung Ho Kim, Doo-Hwan Bae	Object-oriented concept analysis for software modularisation.	IET Softw.	2008	DBLP DOI BibTeX RDF
25	Jocelyn Paine	Excelsior: Bringing the Benefits of Modularisation to Excel	CoRR	2008	DBLP BibTeX RDF
25	Jennifer Munnelly, Siobhán Clarke	Infrastructure for ubiquitous computing: improving quality with modularisation.	ACP4IS@AOSD	2008	DBLP DOI BibTeX RDF
25	Rüdiger Grammes	Syntactic and semantic modularisation of modelling languages.		2007	RDF
25	João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus	On Scalability and Modularisation in the Modelling of Network Security Systems.	ESORICS	2005	DBLP DOI BibTeX RDF
25	Kiarash Mahdavi	A clustering genetic algorithm for software modularisation with a multiple hill climbing approach.		2005	RDF
25	Alan L. Rector	Modularisation of domain ontologies implemented in description logics and related formalisms including OWL.	K-CAP	2003	DBLP DOI BibTeX RDF	ontologies, semantic web, OWL, description logics
25	Henrik Bærbak Christensen	Modularisation of Software Configuration Management.	JMLC	2000	DBLP DOI BibTeX RDF
25	Gerardo Canfora, Andrea De Lucia, Giuseppe A. Di Lucca	A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation.	Autom. Softw. Eng.	1999	DBLP DOI BibTeX RDF
25	Adam Batenin	A Formal Analysis of Modularisation and Its Application to Object-Oriented Methods.	ECOOP Workshops	1998	DBLP BibTeX RDF
25	Brian Kirk, Libero Nigro, Francesco Pupo	Using Real Time Constraints for Modularisation.	JMLC	1997	DBLP DOI BibTeX RDF
25	Razvan Diaconescu	Category-Based Modularisation for Equational Logic Programming.	Acta Informatica	1996	DBLP DOI BibTeX RDF
25	Paulo A. S. Veloso	A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.	Log. J. IGPL	1993	DBLP DOI BibTeX RDF
25	José Luiz Fiadeiro, T. S. E. Maibaum	Temporal Theories as Modularisation Units for Concurrent System Specification.	Formal Aspects Comput.	1992	DBLP DOI BibTeX RDF
25	Gerard R. Renardel de Lavalette	Logical Semantics of Modularisation.	CSL	1991	DBLP DOI BibTeX RDF
25	Gerard R. Renardel de Lavalette	Modularisation, Parametrisation, Interpolation.	J. Inf. Process. Cybern.	1989	DBLP BibTeX RDF
25	George Dayantis	Types, modularisation and abstraction in logic programming.		1988	RDF
17	Eduardo Figueiredo 0001, Bruno Carreiro da Silva, Cláudio Sant'Anna, Alessandro F. Garcia 0001, Jon Whittle 0001, Daltro José Nunes	Crosscutting patterns and design stability: An exploratory analysis.	ICPC	2009	DBLP DOI BibTeX RDF
17	Eduardo Figueiredo 0001, Jon Whittle 0001, Alessandro F. Garcia 0001	ConcernMorph: metrics-based detection of crosscutting patterns.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	crosscutting patterns, metrics, crosscutting concerns
17	Paul Doran, Valentina A. M. Tamma, Luigi Iannone	Ontology module extraction for ontology reuse: an ontology engineering perspective.	CIKM	2007	DBLP DOI BibTeX RDF	ontology module extraction, ontology engineering
17	Ildikó Flesch, Peter J. F. Lucas	Independence Decomposition in Dynamic Bayesian Networks.	ECSQARU	2007	DBLP DOI BibTeX RDF
17	Madalina Croitoru, Bo Hu 0001, Srinandan Dashmapatra, Paul H. Lewis, David Dupplaw, Liang Xiao 0002	A Conceptual Graph Description of Medical Data for Brain Tumour Classification.	ICCS	2007	DBLP DOI BibTeX RDF
17	Philipp Rohlfshagen, John A. Bullinaria	A genetic algorithm with exon shuffling crossover for hard bin packing problems.	GECCO	2007	DBLP DOI BibTeX RDF	exon shuffling, genetic algorithms, bin packing problem
17	Elaine McGovern, Bernard Joseph Roche, Eleni E. Mangina, Rem W. Collier	IUMELA: A Lightweight Multi-Agent Systems Based Mobile Learning Assistant Using the ABITS Messaging Service.	UIC	2007	DBLP DOI BibTeX RDF
17	Gayathri Nadarajan, Arnaud Renouf	A Modular Approach for Automating Video Analysis.	CAIP	2007	DBLP DOI BibTeX RDF	Knowledge-Based Vision, Automatic Video Analysis, Ontology-Based Systems, Ontological Engineering
17	Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels	Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.	ECOOP	2006	DBLP DOI BibTeX RDF
17	José Luiz Fiadeiro, Antónia Lopes	A Formal Approach to Event-Based Architectures.	FASE	2006	DBLP DOI BibTeX RDF
17	Iain Bate, Philippa Conmy	Safe Composition of Real Time Software.	HASE	2005	DBLP DOI BibTeX RDF
17	Stéphane Ducasse, Michele Lanza, Laura Ponisio	Butterflies: A Visual Approach to Characterize Packages.	IEEE METRICS	2005	DBLP DOI BibTeX RDF	package metrics, reverse engineering, Program understanding, software visualization
17	Wolfgang Hesse, Thomas Tilley	Formal Concept Analysis Used for Software Analysis and Modelling.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
17	Alexander Dreiling, Helmut Klaus, Michael Rosemann, Boris Wyssusek	Open Source Enterprise Systems: Towards a Viable Alternative.	HICSS	2005	DBLP DOI BibTeX RDF
17	Hugh Glaser, Harith Alani, Les Carr, Sam Chapman, Fabio Ciravegna, Alexiei Dingli, Nicholas Gibbins, Stephen Harris, Monica M. C. Schraefel, Nigel Shadbolt	CS AKTiveSpace: Building a Semantic Web Application.	ESWS	2004	DBLP DOI BibTeX RDF
17	Andrew Jackson 0003, Siobhán Clarke	SourceWeave.NET: Cross-Language Aspect-Oriented Programming.	GPCE	2004	DBLP DOI BibTeX RDF
17	Salvador Trujillo, Iñaki Paz, Oscar Díaz	Enhancing Decoupling in Portlet Implementation.	ICWE	2004	DBLP DOI BibTeX RDF
17	Monique Snoeck, Wilfried Lemahieu, Cindy Michiels, Guido Dedene	Event-Based Software Architectures.	OOIS	2003	DBLP DOI BibTeX RDF
17	Brian Kirk, Stuart Doyle, Toby Harris, Tom Priestly	Systems = Components + Languages: Building a Flexible Real-Time Simulation and Test Environment.	JMLC	2003	DBLP DOI BibTeX RDF
17	Miguel Baptista Nunes, Maggie McPherson	Constructivism vs. Objectivism: Where is difference for Designers of e-Learning Environments?	ICALT	2003	DBLP DOI BibTeX RDF
17	David Hearnden, Kerry Raymond, Jim Steel	MQL: a Powerful Extension to OCL for MOF Queries.	EDOC	2003	DBLP DOI BibTeX RDF
17	Ana M. D. Moreira, João Araújo 0001, Isabel Sofia Brito	Crosscutting quality attributes for requirements engineering.	SEKE	2002	DBLP DOI BibTeX RDF	crosscutting quality attributes, requirements engineering
17	Thomas Glotzmann, Holger Lange, Michael Hauhs, A. Lamm	Evolving Multi-agent Networks in Structured Environments.	ECAL	2001	DBLP DOI BibTeX RDF
17	Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano	Super Actors for Real Time.	WORDS	2001	DBLP DOI BibTeX RDF
17	J. Barrie Thompson, Helen M. Edwards	Providing New Graduate Opportunities in Software Engineering: Experiences with a UK Master's Level Conversion Course.	CSEE&T	1999	DBLP DOI BibTeX RDF
17	Juan José Ramos, Miquel Angel Piera Eroles	Needs of Object-Oriented Languages for Physics Knowledge Representation in the Simulation Field.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	System Dynamic Simulation, Reuse of Models, Physical and Computational causality, Object-Oriented Modelling
17	Jan Bosch	Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers.	CC	1996	DBLP DOI BibTeX RDF
17	Jan Friso Groote, Frits W. Vaandrager	Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
17	Loe M. G. Feijs	Norman's Database Modularised in COLD-K.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
17	H. B. M. Jonkers	An Introduction to COLD-K.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
17	H. B. M. Jonkers	Description Algebra.	Algebraic Methods	1987	DBLP DOI BibTeX RDF