|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2499 occurrences of 1359 keywords
|
|
|
Results
Found 3150 publication records. Showing 3150 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Roberto Lublinerman, Stavros Tripakis |
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Vineet R. Khare, Bernhard Sendhoff, Xin Yao 0001 |
Environments Conducive to Evolution of Modularity. |
PPSN |
2006 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
27 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
high performance computing software, software engineering, parallel programming, separation of concerns |
27 | Horacio Ahuett, Joaquín Aca, Arturo Molina 0001 |
A Directed Evolution Modularity Framework for Design of Reconfigurable Machine Tools. |
CDVE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Marc Denecker, Eugenia Ternovska |
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Edith Hemaspaandra, Holger Spakowski, Mayur Thakur |
Complexity of Cycle Length Modularity Problems in Graphs. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jennifer Hallinan |
Self-Organization Leads to Hierarchical Modularity in an Internet Community. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Irène Durand, Aart Middeldorp |
On the Modularity of Deciding Call-by-Need. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jozef Kelemen |
From Statistics to Emergence: Exercises in Systems Modularity. |
EASSS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Il-Seok Oh, Jin-Seon Lee, Ching Y. Suen |
A Class-Modularity for Character Recognition. |
ICDAR |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Cristina Videira Lopes, Gregor Kiczales |
Improving design and source code modularity using AspectJ (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java |
27 | Geert Poels |
Evaluating the Modularity of Model-Driven Object-Oriented Software Architectures (Extended Abstract). |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Bernhard Gramlich |
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Enno Ohlebusch |
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. |
CAAP |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin |
Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Zahra Masdarolomoor, Sadegh Aliakbary, Reza Azmi, Noushin Riahi |
Distributed Community Detection in Complex Networks. |
CICSyN |
2011 |
DBLP DOI BibTeX RDF |
local modularity, distributed algorithms, modularity, Complex Networks, community detection |
26 | Yijing Liu, Ali Hong, Zongyan Qiu |
Inheritance and Modularity in Specification and Verification of OO Programs. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Verification, Object Orientation, Specification, Abstraction, Modularity, Separation Logic |
26 | Macneil Shonle, Timothy T. Yuen |
Compose & conquer: modularity for end-users. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
architectural mismatch, modularity, end-user programming |
26 | Xiaolong Deng, Bai Wang 0001, Bin Wu 0001, Shengqi Yang |
Research and Evaluation on Modularity Modeling in Community Detecting of Complex Network Based on Information Entropy. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Modularity, Complex Network, Information Entropy, Community Structure |
26 | René Doursat |
Facilitating evolutionary innovation by developmental modularity and variability. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
bio-inspired engineering, architectures, robotics, modularity, self-organization, systems design, complex systems, spatial computing, artificial embryogeny, evolutionary development |
26 | 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 |
26 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
auto-epistemic logic, logic programming, Modularity, default logic |
26 | Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Greg Smolyn |
Using aspectC to improve the modularity of path-specific customization in operating system code. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software modularity, operating system design |
26 | Santosh K. Shrivastava, Daniel L. McCue |
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
fault-tolerantobject systems, distributed programming systems, fault tolerance, distributed systems, distributed computing, fault tolerant computing, distributed processing, replication, modularity, migration, object-oriented methods, distributed environment, object-oriented systems, object-oriented approach, atomic actions, persistent objects, atomic transactions |
26 | Mark T. Vandevoorde, John V. Guttag |
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
program modularity, formal specifications, compilers, program optimization, software interfaces |
26 | Esther M. Arkin, Christos H. Papadimitriou, Mihalis Yannakakis |
Modularity of Cycles and Paths in Graphs. |
J. ACM |
1991 |
DBLP DOI BibTeX RDF |
cycles and paths, graphs, modularity |
26 | Yibo Zou, Donghan Kim 0001, Philip Norman, Jose Espinosa, Jen-Chieh Wang, Gurvinder S. Virk |
Towards robot modularity - A review of international modularity standardization for service robots. |
Robotics Auton. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ling Huang, Chang-Dong Wang, Hongyang Chao |
HM-Modularity: A Harmonic Motif Modularity Approach for Multi-Layer Network Community Detection. |
IEEE Trans. Knowl. Data Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Rafael de Santiago, Luís C. Lamb |
A ground truth contest between modularity maximization and modularity density maximization. |
Artif. Intell. Rev. |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Dilian Gurov, Reiner Hähnle, Eduard Kamburjan |
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. |
ISoLA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Jens Poeppelbuss, Alexander Lubarski |
Modularity Canvas - A Framework for Visualizing Potentials of Service Modularity. |
Wirtschaftsinformatik |
2019 |
DBLP BibTeX RDF |
|
26 | Toni Mattis, Robert Hirschfeld |
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming. |
COP@ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Dario Fasino, Francesco Tudisco |
Modularity bounds for clusters located by leading eigenvectors of the normalized modularity matrix. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
26 | Iaakov Exman, Daniel Speicher |
Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice. |
ICSOFT-PT |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Regine Dörbecker, Daniela Böhm, Tilo Böhmann |
Measuring Modularity and Related Effects for Services, Products, Networks, and Software - A Comparative Literature Review and a Research Agenda for Service Modularity. |
HICSS |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Iaakov Exman |
Software Design with the Modularity Matrix and the Modularity Conceptual Lattice. |
SKY |
2015 |
DBLP BibTeX RDF |
|
26 | Leung-Yau Lo, Man-Leung Wong, Kin-Hong Lee, Kwong-Sak Leung |
Exploiting modularity and hierarchical modularity to infer large causal gene regulatory network. |
CIBCB |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Andi Wahju Rahardjo Emanuel, Daniel Jahja Surjawan |
Revised Modularity Index to Measure Modularity of OSS Projects with Case Study of Freemind. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
26 | Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt |
Modularity and conventions for maintainable concurrent language implementations: a review of our experiences and practices. |
MISS@AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Dimitri Van Landuyt, Eddy Truyen, Wouter Joosen |
On the modularity impact of architectural assumptions. |
NEMARA@AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jochen Streicher, Christoph Borchert, Olaf Spinczyk |
Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack. |
MISS@AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Tsuyoshi Murata |
Detecting Communities from Bipartite Networks Based on Bipartite Modularities. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Lange 0002, Michael Kohlhase |
A Mathematical Approach to Ontology Authoring and Documentation. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Yutaka I. Leon-Suematsu, Kikuo Yuta |
A framework for fast community extraction of large-scale networks. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
clustering, large-scale networks, community analysis |
21 | Zef Hemel, Lennart C. L. Kats, Eelco Visser |
Code Generation by Model Transformation. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Zhemin Zhu, Chen Wang 0020, Li Ma 0002, Yue Pan, Zhiming Ding |
Scalable Community Discovery of Large Networks. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Eduardo Figueiredo 0001, Nélio Cacho, Cláudio Sant'Anna, Mario Monteiro, Uirá Kulesza, Alessandro Garcia 0001, Sérgio Soares, Fabiano Cutigi Ferrari, Safoora Shakil Khan, Fernando Castor Filho, Francisco Dantas |
Evolving software product lines with aspects: an empirical study on design stability. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software product lines, empirical evaluation |
21 | Tuan Hao Hoang, Robert I. McKay, Daryl Essam, Nguyen Xuan Hoai |
Developmental Evaluation in Genetic Programming: A Position Paper. |
FBIT |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Michael English, Jim Buckley, Tony Cahill |
Fine-Grained Software Metrics in Practice. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Marco Gaertler, Robert Görke, Dorothea Wagner |
Significance-Driven Graph Clustering. |
AAIM |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Zhuo Wang, Xin-Guang Zhu, Yazhu Chen, Yi-Xue Li, Lei Liu |
Comparison of Modularization Methods in Application to Different Biological Networks. |
VDMB |
2006 |
DBLP DOI BibTeX RDF |
Markov clustering (MCL), network, simulated annealing (SA), module |
21 | Jean-Pierre Jouannaud |
Modular Church-Rosser Modulo. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Peter Fine, Ezequiel A. Di Paolo, Andrew Philippides |
Spatially Constrained Networks and the Evolution of Modular Control Systems. |
SAB |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Kramer 0001, Hermann Kaindl |
Coupling and cohesion metrics for knowledge-based systems using frames and rules. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
knowledge-based systems, Coupling, cohesion |
21 | Simona Bernardi 0001, Susanna Donatelli |
Stochastic Petri Nets and Inheritance for Dependability Modelling. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ramnivas Laddad, Roger T. Alexander |
Aspect-Oriented Programming Will Improve Quality / Aspect-Oriented Programming: the Real Costs? |
IEEE Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ozlem O. Garibay, Ivan I. Garibay, Annie S. Wu |
The Modular Genetic Algorithm: Exploiting Regularities in the Problem Space. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Pedro Resende |
Modular Specification of Concurrent Systems with Observational Logic. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
21 | David D. Yao |
S-modular games, with queueing applications. |
Queueing Syst. Theory Appl. |
1995 |
DBLP DOI BibTeX RDF |
submodularity/supermodularity, control of queues, convergence, Nash equilibrium, Noncooperative games |
20 | João L. Gomes, Miguel P. Monteiro 0001 |
Design pattern implementation in object teams. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
design patterns, aspect-oriented programming, modularity |
20 | Marcelo Cataldo, James D. Herbsleb |
Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
interface translucence, collaboration, software architecture, awareness, modularity, software ecosystems |
20 | Jesús Sánchez Cuadrado, Jesús García Molina |
Modularization of model transformations through a phasing mechanism. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Phasing mechanism, Internal transformation composition, Modularity, Model transformation, Transformation languages |
20 | Fang Wei, Weining Qian, Chen Wang 0020, Aoying Zhou |
Detecting Overlapping Community Structures in Networks. |
World Wide Web |
2009 |
DBLP DOI BibTeX RDF |
overlapping community structure, seed expansion, modularity function, random walks |
20 | Arnon Avron |
Multi-valued Semantics: Why and How. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices |
20 | Shu Yan Chan, Ian X. Y. Leung, Pietro Liò |
Fast centrality approximation in modular networks. |
CIKM-CNIKM |
2009 |
DBLP DOI BibTeX RDF |
modularity, complex network, centrality, community detection |
20 | Dongsheng Duan, Yuhua Li 0003, Yanan Jin, Zhengding Lu |
Community mining on dynamic weighted directed graphs. |
CIKM-CNIKM |
2009 |
DBLP DOI BibTeX RDF |
change-point detection, dynamic weighted directed graph, modularity, compactness, community discovery |
20 | Phil Greenwood, Alessandro Garcia 0001, Yuanfang Cai, Cláudio Sant'Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble 0001 |
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
metrics, modularity, assessment, adoption |
20 | Donna Malayeri, Jonathan Aldrich |
CZ: multiple inheritance without diamonds. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
diamond problem, modularity, multiple inheritance, multimethods |
20 | Chuan Shi, Yi Wang 0010, Bin Wu 0001, Cha Zhong |
A New Genetic Algorithm for Community Detection. |
Complex (2) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, modularity, complex network, community detection |
20 | Tsuyoshi Murata |
Modularities for bipartite networks. |
Hypertext |
2009 |
DBLP DOI BibTeX RDF |
community, modularity, bipartite network |
20 | Vincent Lacroix, Ludovic Cottret, Patricia Thébault, Marie-France Sagot |
An Introduction to Metabolic Networks and Their Structural Analysis. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
Introductory and Survey, modelling, Graph Theory, modularity, evolution, reconstruction, Biology and genetics, metabolic networks |
20 | Roberto Lublinerman, Stavros Tripakis |
Modular Code Generation from Triggered and Timed Block Diagrams. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Modularity, Code generation, Block diagrams |
20 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
20 | Benjamin Tissoires, Stéphane Conversy |
Graphic Rendering Considered as a Compilation Chain. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
compiler, computer graphics, modularity, dataflow, interactive software |
20 | Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel |
MontiCore: a framework for the development of textual domain specific languages. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
modularity, domain specific languages, extensibility |
20 | Hans Weber 0002 |
On Lattices of Uniformities. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Lattice uniformities, Distributivity, Modularity, Lattices, Uniformities, Complements |
20 | YingZhou Zhang |
A novel formal approach to program slicing. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
slice monad transformer, modularity, program slicing, formal semantics, monads |
20 | Makoto Hamana |
Higher-order semantic labelling for inductive datatype systems. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics |
20 | Alessandro Garcia 0001, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna |
Driving and managing architectural decisions with aspects. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
modularity, aspect-oriented software development, composability, early aspects, architectural decisions |
20 | Cristina Videira Lopes, Sushil Krishna Bajracharya |
Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value. |
T. Aspect-Oriented Software Development |
2006 |
DBLP DOI BibTeX RDF |
Aspect-oriented programming and design, design space matrix, net option value, modularity |
20 | Jamal Siadat, Robert J. Walker, Cameron Kiddle |
Optimization aspects in network simulation. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
IP-TN, fine-grained join points, optimization, performance, evaluation, modularity, network simulation, AspectC++ |
20 | Sock H. Chung, Terry Anthony Byrd, Bruce R. Lewis, F. Nelson Ford |
An empirical study of the relationships between IT infrastructure flexibility, mass customization, and business performance. |
Data Base |
2005 |
DBLP DOI BibTeX RDF |
IT compatibility, IT connectivity, IT infrastructure flexibility, IT modularity, IT personnel skills, mass customization, business performance |
20 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
20 | Yayun Wan, Jaijeet S. Roychowdhury |
Operator-based model-order reduction of linear periodically time-varying systems. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
LPTV systems, modularity, operator, model-order reduction |
20 | Martin Fowler |
Module Assembly. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
hiding, modularity, implementation, linkage |
20 | Shuly Wintner |
On the Semantics of Unification Grammars. |
Grammars |
2003 |
DBLP DOI BibTeX RDF |
unification grammars, modularity, semantics of programming languages |
20 | Peter R. King, Jocelyne Nanard, Marc Nanard |
Multimedia document engineering in MCF. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering |
20 | Simona Bernardi 0001, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
20 | Rachid Guerraoui, André Schiper |
The Generic Consensus Service. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerant agreement protocols, view synchrony, total order multicast, modularity, consensus, failure detectors, Asynchronous distributed systems, group membership, atomic commitment |
20 | Libero Nigro, Francesco Pupo |
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs |
20 | Alessandra Raffaetà, Chiara Renso |
Temporal Reasoning in Geographical Information Systems. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language |
20 | Kay Palkhivala, Cynthia Bowllan, Thomas Barnwell |
CBT on the fast track. |
SIGDOC |
1999 |
DBLP DOI BibTeX RDF |
rapid updates, repurposing information, interactivity, modularity, reusability, demonstrations, computer-based training |
20 | Sophie Coudert, Gilles Bernot, Pascale Le Gall |
Hierarchical Heterogeneous Specifications. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification |
20 | Shaun W. Ryan, Arvind K. Bansal |
A Scalable Distributed Heterogeneous Associative Logic Programming System. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
scalable distributed heterogeneous system, associative logic programming system, abstract instruction set, associative computation, architecture independence, IBM RS 6000, performance, object oriented programming, distributed processing, knowledge based systems, modularity, portability, PVM, Parallel Virtual Machine, data parallel computation |
20 | Theodosis Dimitrakos, T. S. E. Maibaum |
Notes on Refinement, Interpolation and Uniformity. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations |
20 | Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont |
Applying Concept Formation Methods to Object Identification in Procedural Code. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation |
20 | Alena Griffiths |
An Extended Semantic Foundation For Object-Z. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
formal specification, object orientation, reuse, modularity, Object-Z |
20 | Basim M. Kadhim, William M. Waite |
Maptool - Supporting Modular Syntax Development. |
CC |
1996 |
DBLP DOI BibTeX RDF |
parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction |
20 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. |
ICSE |
1996 |
DBLP BibTeX RDF |
UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning |
Displaying result #201 - #300 of 3150 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|