Search results for "ECBS"

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

Publications at "ECBS"( http://dblp.L3S.de/Venues/ECBS )