|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23538 occurrences of 8047 keywords
|
|
|
Results
Found 38329 publication records. Showing 38329 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Dick Hamlet |
Tools and experiments supporting a testing-based theory of component composition. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
CAD tool support for CBSD, Experiments with composition of software components, synthesis of system properties, component-based software development (CBSD) |
35 | Alex Talevski, Pornpit Wongthongtham, Surasak Komchaliaw |
Towards a software component ontology. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
ontology, software engineering, software component |
34 | Thareendhra Wijayasiriwardhane, Richard Lai 0001 |
A Method for Measuring the Size of a Component-Based System Specification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Component Point, Function Point extension, Software Measurement, Component-Based Systems, Component-Based Software Development, Software Effort Estimation, Software Size Estimation |
34 | Holger Klus, Dirk Niebuhr, Andreas Rausch |
A component model for dynamic adaptive systems. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
component container, adaptation, component model, component composition, componentware |
34 | Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
component assembly, component based software engineering, component adaptation |
34 | Gilda Pour |
Moving Toward Component-Based Software Development Approach. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
Architecture evaluation and selection, Component evaluation and selection, Component customization, Software evolution and maintenance, Software architecture, Integration, Reuse, COTS, Component-based software development, Off-the-shelf components |
34 | Jeong Ah Kim, YoungTaek Jin, Sun-Myung Hwang |
A Business Component Approach for Supporting the Variability of the Business Strategies and Rules. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Johann Oberleitner, Thomas Gschwind, Mehdi Jazayeri |
The Vienna Component Framework Enabling Composition Across Component Models. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Karl Pauls, Till G. Bay |
Reuse Frequency as Metric for Dependency Resolver Selection. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon |
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Régis P. S. Simão, Arnaldo Dias Belchior |
Quality Characteristics for Software Components: Hierarchy and Quality Guides. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt |
Reasoning about Software Architectures with Contractually Specified Components. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Pascal Rapicault, Jean-Paul Rigault, Luc Bourlier |
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Nils P. Sudmann, Dag Johansen |
Software Deployment Using Mobile Agents. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Anmo Jeong, Seungnam Jeong, Yoonsun Lim, Myung Kim |
Active Binding Technology: A Reuse-Enabling Component Model. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
CBD, Component Model, Component Reuse |
34 | Andreea Vescan, Horia F. Pop |
Automatic configuration for the component selection problem. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
automatic configuration, component assembly, component selection problem |
34 | Ho-jun Shin, Kwang-Ki Kim, Bo-Yeon Shim |
A Study on the Component Based Architecture for Workflow Rule Engine and Tool. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
Workflow Rule Engine & Tool, Component Based Development, Component Based Architecture, Architecture View |
34 | Jun Han 0004, Ksze Kae Ker |
Ensuring Compatible Interactions within Component-based Software Systems. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
component interoperability, Component-based systems, interaction protocols, system validation |
34 | 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 |
34 | Alexander Stuckenholz, Andre Osterloh |
Safe component updates. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
Boolean optimization, component and system evolution, updates, component based software development, compatibility, system synthesis |
33 | Romain Rouvoy, Philippe Merle |
Leveraging component-based software engineering with Fraclet. |
Ann. des Télécommunications |
2009 |
DBLP DOI BibTeX RDF |
Annotation-oriented programming, Fractal, Component-based software engineering |
33 | Yi Liu 0001, H. Conrad Cunningham |
Mapping component specifications to Enterprise JavaBeans implementations. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
design mapping, component software, Enterprise JavaBeans |
33 | Jyrki Akkanen, Attila Kiss 0002, Jukka K. Nurminen |
Evolution of a Software Component - Experiences with a Network Editor Component. |
CSMR |
2002 |
DBLP DOI BibTeX RDF |
network, evolution, software component |
32 | Glêdson Elias da Silveira, Michael Schuenck, Yuri Negócio, Jorge Dias Jr., Sindolfo Miranda Filho |
X-ARM: an asset representation model for component repository systems. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
asset reuse, component description, component repository system, component-based software development |
32 | Michihiro Matsumoto, Kokichi Futatsugi |
The support tool for highly reliable component-based software development. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture |
32 | Andy Bond, David Cordes, Brandon Dixon, Allen S. Parrish |
Software Component Engineering: Meta-Framework and Technologies - Introduction. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Liangli Ma, Houxiang Wang, Yongjie Li |
Using Component Metadata based on Dependency Relationships Matrix to improve the Testability of Component-based Software. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Miguel Goulão, Fernando Brito e Abreu |
Composition Assessment Metrics for CBSE. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
Software Metrics, OCL, Component-Based Software Engineering, CORBA Component Model |
32 | Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001 |
Security Properties of Software Components. |
ISW |
1999 |
DBLP DOI BibTeX RDF |
Component functionality, Software component, Security properties |
32 | Paul Brebner, Wolfgang Emmerich |
Deployment of Infrastructure and Services in the Open Grid Services Architecture (OGSA). |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Marija Mikic-Rakic, Sam Malek, Nels E. Beckman, Nenad Medvidovic |
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Richard S. Hall |
A Policy-Driven Class Loader to Support Deployment in Extensible Frameworks. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Neil A. M. Maiden, V. Croce, Kim Harries, Giuseppe Sajeva, S. Topuzidou |
SCARLET: Integrated Process and Tool Support for Selecting Software Components. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Nicolas Le Sommer, Frédéric Guidec |
A Contract-Based Approach of Resource-Constrained Software Deployment. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Chorng-Shiuh Koong, Ching-Meng Lee, Deng-Jyi Chen, Chih-Hung Chang, Chihhsiong Shih |
The visual authoring tool of flash-based component for interactive item template. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
SWF component, interactive item, item template, visual authoring tool, reuse, software component |
32 | Krishnakumar Balasubramanian 0001, Douglas C. Schmidt |
Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
model-driven optimization, component fusion, component middleware, domain-specific modeling language |
32 | Xiong Xie, Weishi Zhang |
A Framework of Software Component Adaptation. |
ICA3PP |
2007 |
DBLP DOI BibTeX RDF |
Component-based software engineering, Finite automaton, Component adaptation |
32 | Nanbor Wang, Christopher D. Gill |
Improving Real-Time System Con.guration via a QoS-Aware CORBA Component Model. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
QoS-aware Component Models, Distributed Real-Time Embedded Middleware, Component-Based Software |
32 | Regina M. M. Braga, Marta Mattoso, Cláudia Maria Lima Werner |
The use of mediation and ontology technologies for software component information retrieval. |
SSR |
2001 |
DBLP DOI BibTeX RDF |
software classification and identification, domain engineering, component repositories, component based engineering |
32 | Stephen S. Yau, Fariaz Karim |
Component Customization for Object-Oriented Distributed Real-Time Software Development. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
Component-based distributed software, object-oriented component framework, built-in services, real-time, integration, customization |
31 | M. P. S. Chawla |
A comparative analysis of principal component and independent component techniques for electrocardiograms. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Gaussanity, Feature extraction, Principal component analysis, Independent component analysis, Correlated, Electrocardiogram, Variance estimator, Scatter plots |
31 | Jun Ding, Andrei V. Gribok, J. Wesley Hines, Brandon Rasmussen |
Redundant Sensor Calibration Monitoring Using Independent Component Analysis and Principal Component Analysis. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
sensor calibration, principal component analysis, parameter estimation, independent component analysis, process monitoring |
31 | Liguo Yu, Kai Chen 0010, Srini Ramaswamy |
Multiple-parameter coupling metrics for layered component-based software. |
Softw. Qual. J. |
2009 |
DBLP DOI BibTeX RDF |
Coupling distance, Metrics, Dependency, Coupling, Component-based software |
31 | Chengying Mao, Yansheng Lu, Jinlong Zhang |
Regression testing for component-based software via built-in test design. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
built-in test design, method call graph, component, regression testing, test case selection |
31 | Jie Hu 0005, Shruti Gorappa, Juan A. Colmenares, Raymond Klefstad |
Compadres: A Lightweight Component Middleware Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java. |
Middleware |
2007 |
DBLP DOI BibTeX RDF |
middleware, Real-time Java, RTSJ, component framework |
31 | Tie Feng, Jonathan I. Maletic |
Applying Dynamic Change Impact Analysis in Component-based Architecture Design. |
SNPD |
2006 |
DBLP DOI BibTeX RDF |
software architecture, program slicing, Change impact analysis, component composition |
31 | Ralf H. Reussner |
Enhanced Component Interfaces to Support Dynamic Adaption and Extension. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
dynamic extension, software components, dynamic adaptation, component composition, interface model |
31 | Ivica Crnkovic, Magnus Larsson |
A case study: demands on component-based development. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
standard components, architecture, reuse, component-based development, development environment |
31 | Harald C. Gall, Mehdi Jazayeri, René Klösch, Georg Trausmuth |
The Architectural Style of Component Programming. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
component programming, genericity, architectural style, standard template library |
31 | Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin |
Process Patterns for Component-Based Software Development. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
Component-Based Development, Software Development Methodologies, Process Patterns, Situational Method Engineering |
31 | Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
middleware, model-driven engineering, component models, connectors, MARTE |
31 | Mathee Olarnsakul, Dentcho N. Batanov |
Component Coordination Model for Customization and Composition of Component-Based System Design. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
software architecture, coordination, software reuse, software design, Component software |
30 | Bo Nørregaard Jørgensen, Wouter Joosen |
Classifying Component Interaction in Product-Line Architectures. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
component-oriented composition, Component framework, Product-line architectures, Component interaction |
30 | Hwa-Young Jeong, Young-Jae Song |
Component Composition Tools: Process Call Scheduling According to the Priority in Connector. |
EUC |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Walter Maydl, Bernhard Sick, Werner Grass |
Towards a Specification Technique for Component-Based Measurement and Control Software for Embedded Systems. |
EUROMICRO |
2002 |
DBLP DOI BibTeX RDF |
|
30 | James Sasitorn, Robert Cartwright |
Component nextgen: a sound and expressive component framework for java. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
custom class loader, first-class generics, java implementation, components, signatures, modules |
30 | Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay |
Automated and Unanticipated Flexible Component Substitution. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Byungsun Ko, Jainyun Park |
Component Architecture Redesigning Approach Using Component Metrics. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Peter Graubmann, Ekkart Rudolph |
MSC Connectors: The Philosopher's Stone. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality |
30 | Fernando J. Barros, Axel Lehmann 0001, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler (eds.) |
Component-Base Modeling and Simulation, 18.-23. January 2004 |
Component-Base Modeling and Simulation |
2006 |
DBLP BibTeX RDF |
|
30 | Alan Dearle, Susan Eisenbach (eds.) |
Component Deployment, Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Wei Zhang 0036, Wolfgang A. Halang, Christian Diedrich |
Specification and Verification of Applications Based on Function Blocks. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Aleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson |
Modular Verification of Reconfigurable Components. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Leandro Dias da Silva, Angelo Perkusich |
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Walter Maydl, Lars Grunske |
Behavioral Types for Embedded Software - A Survey. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen |
CoConES: An Approach for Components and Contracts in Embedded Systems. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Anu Purhonen |
Performance Evaluation Approaches for Software Architects. |
Component-Based Software Development for Embedded Systems |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Alex Buckley |
A Model of Dynamic Binding in .NET. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Pierre-Yves Cunin, Vincent Lestideau, Noëlle Merle |
ORYA: A Strategy Oriented Deployment Framework. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Stefan Paal, Reiner Kammüller, Bernd Freisleben |
Crosslets: Self-managing Application Deployment in a Cross-Platform Operating Environment. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic |
A Decentralized Redeployment Algorithm for Improving the Availability of Distributed Systems. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Didier Hoareau, Yves Mahéo |
Propagative Deployment of Hierarchical Components in a Dynamic Network. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Graham N. C. Kirby, Scott Mervyn Walker, Stuart J. Norcross, Alan Dearle |
A Methodology for Developing and Deploying Distributed Applications. |
Component Deployment |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Wolfgang Emmerich, Alexander L. Wolf (eds.) |
Component Deployment, Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Alexander Egyed |
Dynamic Deployment of Executing and Simulating Software Components. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Francisco Reverbel, Bill Burke, Marc J. Fleury |
Dynamic Deployment of IIOP-Enabled Components in the JBoss Server. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Nicolas Le Sommer |
Towards a Dynamic Resource Contractualisation for Software Components. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter, Jessie Dedecker, Theo D'Hondt |
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Alan Dearle, Graham N. C. Kirby, Andrew J. McCarthy, Juan Carlos Diaz y Carballo |
A Flexible and Secure Deployment Framework for Distributed Applications. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Robert Chatley, Susan Eisenbach, Jeff Magee |
MagicBeans: a Platform for Deploying Plugin Components. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Alejandra Cechich, Mario Piattini, Antonio Vallecillo (eds.) |
Component-Based Software Quality - Methods and Techniques |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Douglas Kunda |
STACE: Social Technical Approach to COTS Software Evaluation. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Pere Botella, Xavier Burgués Illa, Juan Pablo Carvallo 0001, Xavier Franch, Joan Antoni Pastor, Carme Quer |
Towards a Quality Model for the Selection of ERP Systems. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Carina Alves 0001 |
COTS-Based Requirements Engineering. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas |
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Jan Bosch |
Maturing Architectures and Components in Software Product Lines. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Hareton K. N. Leung, Karl R. P. H. Leung |
Domain-Based COTS-Product Selection Method. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Louis C. Rose |
Risk Management of COTS Based Systems Development. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Judy M. Bishop (eds.) |
Component Deployment, IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Antonio Brogi, Ernesto Pimentel 0001 (eds.) |
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002 |
Formal Methods and Component Interaction @ ICALP |
2002 |
DBLP BibTeX RDF |
|
30 | Pascal Costanza |
Dynamic Replacement of Active Objects in the Gilgul Programming Language. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt |
Architectures of Enterprise Systems: Modelling Transactional Contexts. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Günter Kniesel, Michael Austermann |
CC4J - Code Coverage for Java. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Welf Löwe, Markus L. Noga |
Scenario-Based Connector Optimization. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Duangdao Wichadakul, Klara Nahrstedt |
A Translation System for Enabling Flexible and Efficient Deployment of QoS-Aware Applications in Ubiquitous Environments. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Susan Eisenbach, Chris Sadler, Shakil Shaikh |
Evolution of Distributed Java Programs. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert |
IWIM Semantics via Fibred Automata. |
Formal Methods and Component Interaction @ ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
Mobile Channels, Implementation Within and Outside Components. |
Formal Methods and Component Interaction @ ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Gwen Salaün, Michel Allemand, J. Christian Attiogbé |
Foundations for a Combination of Heterogeneous Specification Components. |
Formal Methods and Component Interaction @ ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Antonio Brogi, Ernesto Pimentel 0001 |
Preface. |
Formal Methods and Component Interaction @ ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 38329 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|