|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1351 occurrences of 838 keywords
|
|
|
Results
Found 993 publication records. Showing 993 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Blom, Eivind J. Nordby, Anna Brunström |
An Experimental Evaluation of Programming by Contract. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
evaluation, Experiment, contract, precondition, postcondition |
1 | Vincenzo De Florio, Geert Deconinck |
On Some Key Requirements of Mobile Application Software. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Computer-based services and systems, Mobile computing, Adaptability, Dependability |
1 | John K. Debenham |
Who Does What in a Multiagent System for Emergent Process Management. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
multiagent systems, Process management |
1 | Valdemar Mejstad, Karl-Johan Tångby, Lars Lundberg |
Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ren-Song Ko, Matt W. Mutka |
FRAME for Achieving Performance Portability within Heterogeneous Environments. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
CSML, Java, XML, Component, Constraint, Reflection, FRAME, Software Portability, Heterogeneous Environment |
1 | |
9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden |
ECBS |
2002 |
DBLP BibTeX RDF |
|
1 | Kåre J. Lauvset, Dag Johansen, Keith Marzullo |
Factoring Mobile Agents. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
mobile agent, separating of concerns, programming model |
1 | Kari Smolander, Kimmo Hoikka, Jari Isokallio, Mika Kataiokko, Teemu Mäkelä |
What Is Included in Software Architecture? A Case Study in Three Software Organizations. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
architectural viewpoints, software architecture, case study |
1 | Ryszard Kowalczyk, Bogdan Franczyk, Andreas Speck, Peter Braun 0002, Jan Eismann, Wilhelm R. Rossak |
InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Mobile Agents, Electronic Commerce, Intelligent Agents, Electronic Marketplaces |
1 | Christopher McPhee, Armin Eberlein |
Requirements Engineering for Time-to-Market Projects. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Time to Market |
1 | Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic |
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus |
1 | Eivind J. Nordby, Martin Blom, Anna Brunström |
On the Relation between Design Contracts and Errors: A Software Development Strategy. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
case study, development, contract, error, strategy, fault |
1 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Intelligent Agent Security Intrusion System. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo De Florio, Geert Deconinck |
REL: A Fault Tolerance Linguistic Structure for Distributed Applications. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
linguistic support to software fault tolerance, dependability, software fault tolerance, error recovery |
1 | Sea Ling, Seng Wai Loke |
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
Petri net, mobile agent, workflow |
1 | Dag Johansen, Kåre J. Lauvset, Keith Marzullo |
An Extensible Software Architecture for Mobile Components. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
generic software architecture, Mobile agent, extensible system |
1 | Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander |
VSPEC and Its Integrated Tool Suite. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
VSPEC, Constraints Verification, Requirements Analysis, Functional Verification, Test Vector Generation |
1 | Jyhjong Lin, Huammi Tsai, Yalei Chu |
Object-Oriented Analysis and Design of Web-Based Information Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Braun 0002, Jan Eismann, Christian Erfurth, Wilhelm R. Rossak |
TRACY - A Prototype of an Architected Middleware to support Mobile Agents. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie M. White |
System Composition Strategies, Panel Introduction. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Axelsson |
Unified Modeling of Real-Time Control Systems and Their Physical Environments Using UML. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Darren Dalcher |
Forensic ECBS: The Way Forward. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ilka Philippow, Matthias Riebisch |
Systematic Definition of Reusable Architectures. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
Frame-works, Architecture, Components, Software product lines, Reusability, Domain Analysis, Object technology, Evolutionary development |
1 | |
Software Components Adaptive Integration. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tim O'Neill, John Leaney |
Risk Management for an Open CBS Project. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Binoy Ravindran, Baoping Zhang |
On Adaptive Communication in Asynchronous Real-Time Distributed Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Mikael Gustafsson, Nils-Erik Bånkesta |
Experiences from Introducing State-of-the-Art Real-Time Techniques in the Automotive Industry. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | P. Gupta, Steven J. Cunning, Jerzy W. Rozenblit |
Synthesis of High-Level Requirements Models for Automatic Test Generation. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Xavier |
Using Extensible Query Language (XQL) for Database Applications. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yasushi Sugimura, Seiichi Ido |
A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB). |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John K. Debenham |
An Agent for Web-Based Process Management. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harold W. Lawson |
Report of the Standards Working Group. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom |
The New Metamodeling Generation. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Erik Herzog, Anders Törne |
Information Modelling for System Specification Representation and Data Exchange. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ying-Wen Bai |
Optimum Information Queue Lengths in Semi-Batch Power Management Methods for a Palmtop Multimedia Terminal. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
Machine State, Power Consumption, Queueing Model |
1 | |
8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA |
ECBS |
2001 |
DBLP BibTeX RDF |
|
1 | Darren Dalcher |
Ambulance Despatch Systems: The Melbourne Story. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Perry Alexander, Cindy Kong, David Schonberger |
A Practical Semantics for Design Facet Interaction. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Leaney, David Rowe, Tim O'Neill, Steve Hoye, Petros Gionis |
Measuring the Effectiveness of Computer Based Systems: An Open System Measurement Example. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Svéda, Radimir Vrba |
Sensor Networking. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harold W. Lawson, Sivert Wallin, Berit Bryntse, Bertil Friman |
Twenty Years of Safe Train Control in Sweden. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Newton, Bonnie E. Melhart |
Implementation of Object-Oriented Protocol Agents in Communication Devices. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt |
Discovering Rules for Fault Management. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Salasin |
Habitats - Infrastructure for Knowledge-Centric Operations (KO). |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. Schwanke |
Toward a Real-time Event Flow Architecture Style. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Kobayashi, Mamoru Maekawa |
Need-Based Requirements Change Management. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | H. G. Mendelbaum, Raphael B. Yehezkael |
Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM |
1 | Soufiane Noureddine, Axel Lehmann 0001 |
Effective Values: An Approach for Characterizing Dependability Parameters. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bruno, Marco Torchiano |
Developing Instance Model-Based Applications. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Verschaeve, Bart Wydaeghe, Frans Westerhuis |
Visual Composition with SDL Beans. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alan Grigg, Neil C. Audsley |
Reservation-Based Timing Analysis -A Practical Engineering Approach for Distributed Real-Time Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Coverage Based Test-Case Generation Using Model Checkers. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Darren Dalcher, Mike Mannion, Jonah Z. Lavi, Reuven Gallant, Bonnie E. Melhart, Regina M. Gonzales |
Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy |
Fault-Adaptive Control: A CBS Application. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanderperren, Bart Wydaeghe |
Towards a New Component Composition Process. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Svéda, Charles Rattray |
Formal Specifications of Computer-Based Systems. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Diamantino Costa, Tiago Rilho, Marco Vieira, Henrique Madeira |
ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Olsson 0001, Per Runeson |
System Level Mutation Analysis Applied to a State-Based Language. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Greg Nordstrom, James R. Davis, Mark Briski |
A Graduate-Level Course on CBS Design Tool Development. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Leaney |
System Composition Strategies, A Position Paper for an ECBS Panel - My Position: Analogy Questionable, Intentions Estimable. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alison Chisholm, S. Smith |
Strategies for Developing Distributed Computing Solutions for Industrial Environments. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Luculli, Alberto L. Sangiovanni-Vincentelli |
Analysis of DSP-Kernel Software by Implicit Cache Simulation. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Xavier |
XML based Security for E-Commerce Applications. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | K. Suzanne Barber, Thomas J. Graser, John Silva |
Developing a Traceable Domain Reference Architecture to Support Clinical Trials at the National Cancer Institute - An Experience Report. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos |
An Agent-Based Bayesian Forecasting Model for Enhanced Network Security. |
ECBS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Karsai |
Design Tool Integration: An Exercise in Semantic Interoperability. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
distributed computing, program synthesis, tool integration |
1 | Tomas Berling, Per Runeson |
Application of Factorial Design to Validation of System Performance. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Trial planning, System performance validation, Radar system, Test planning, Factorial design |
1 | Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins |
An Algorithm for Tolerating Crash Failures in Distributed Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Distributed Systems, Distributed Algorithms, Software-Implemented Fault Tolerance |
1 | A. V. Scott, William J. Buchanan |
Truly Distributed Control Systems using Fieldbus Technology. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jonah Z. Lavi |
ECBS Education and Training Working Group Report . |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jonah Z. Lavi, Joseph Kudish |
Systematic Derivation of Operational Scenarios Using ECSAM. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ryan P. Kennedy |
Monitoring of Distributed Processes with Mobile Agents. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bonnie E. Melhart, Stephanie M. White |
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh |
On the Design of ORBIT. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Heterogeneous tool integration, analysis of designs, design environment, hierarchical design |
1 | Erik Herzog, Anders Törne |
Support for Representation of Functional Behavior Specifications in AP-233. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | William J. Buchanan, M. Naylor, A. V. Scott |
Enhancing Network Management using Mobile Agents. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Svéda, Radimir Vrba, Frantisek Zezulka |
Coupling Architectures for Low- Level Fieldbusses. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Embedded distributed systems, Coupler, Actuator-sensor-controller interconnection, Communication protocol, Hierarchical structure, Fieldbus |
1 | Andreas Speck |
Component-Based Control System. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
frameworks, components, industrial automation, industrial control systems |
1 | Juan Garbajosa, Maria Alandes, Maria-Angeles Mahillo, Mario Piattini |
Assisting the Definition and Execution of Test Suites for Complex Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
system operation, test procedure definition, test procedure generation, testing environment, advanced data bases, knowledge management, system architecture, System testing, man machine interface, system validation, operation environment |
1 | Philip S. Taylor, Terry J. Anderson, Peter N. Nicholl |
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Larsson, Ivica Crnkovic |
Development Experiences of a Component-Based System. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
standard components, reuse, component-based development, development environment, industrial process control |
1 | Jeffrey M. Voas |
Limited Software Warranties. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Warranties, fact sheets, testing, software certification |
1 | Geri Georg, Stephen Seidman |
The Use of Architecture Description Languages to Describe a Distributed Measurement System. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
ASDL, Darwin, distributed systems, software architecture, ADL, measurement systems |
1 | D. H. Yoon, F. Z. Shaikh |
Integrating CAD and CAM via CORBA. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
ORBIX, Open I-DEAS, C++, IDL, OMG, Client-Server Model |
1 | 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 |
1 | B. Mendelbaum, Reuven Gallant, J.-F. Brette, Ch. F. Ducateau |
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tim O'Neill, John Leaney, Philip Martyn |
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD). |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
open computer based system, layered activity cycle diagram, performance analysis, system architecture |
1 | Edwin D. de Jong, Jaco van de Pol, Jozef Hooman |
Refinement in Requirements Specification and Analysis: A Case Study. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
requirements specification and analysis, formal methods, refinement, theorem provers |
1 | Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit |
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Modeling, Embedded Systems, DEVS |
1 | Miroslav Svéda, Franz Pichler, Charles Rattray |
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jiang Guo, Luqi |
A Survey of Software Reuse Repositories. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
software reuse, software component, reuse repository |
1 | Karin K. Breitman, Julio César Sampaio do Prado Leite |
Scenario-Based Software Process. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jung 0002 |
A Component-Based Architecture for Software Communication Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Zhiying, Lu Haipeng |
A Java-Based CSCW Tool for Supporting Software Processes. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
Java, CSCW, tool, software process |
1 | René Stolle, Wilhelm R. Rossak, Vassilka Kirova |
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
distributed IS systems, software architecture, middleware, reusability |
1 | |
7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK |
ECBS |
2000 |
DBLP BibTeX RDF |
|
1 | Darren Dalcher |
Forensic ECBS: A Situational Assessment. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jilles van Gurp, Jan Bosch |
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser |
The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
telematics supported learning, automation engineering, CANopen, Java, Internet, Distance education, client/server, CAN, fieldbus |
1 | Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan |
Ensuring Structure and Behavior Correctness in Design Composition. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components |
Displaying result #701 - #800 of 993 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|