Search results for "ICECCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Zhenyi Jin	Deriving Mode Invariants from SCR Specifications.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Ami Silberman, Thomas J. Marlowe	A task graph model for design and implementation of real-time systems.	ICECCS	1996	DBLP DOI BibTeX RDF	RTM task graph model, complex real time tasks, medium grained data flow model, arbitrary interconnectivity, decomposable tasks, task graph based environment, real time design, scheduler, real-time systems, resource allocation, hierarchical model, distributed operating system, real time systems design
1	Shaoying Liu, Chris Ho-Stuart	Semi-automatic Transformation from Formal Specifications to Programs.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Jan Bosch, Christer Lundberg, Anders Hultgren	Layering in Object-Oriented Control Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Mark Nicholson 0001, Divya Prasad	Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Terry G. Glagowski, William E. DeForeest	Indexing to Efficiently Support Fussy Queries on Range Specifications.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Paul Mukherjee	System Refinement in VDM-SL.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Juan Echagüe, Joan Vila i Carbó, Alfons Crespo	Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin	Hardware Composition with Hardware Flowcharts and Process Algebras.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Shawn Koppenhoefer, Jean-Dominique Decotignie	Formal verification for distributed real-time control: periodic Producer/Consumer.	ICECCS	1996	DBLP DOI BibTeX RDF	distributed real-time control, periodic Producer/Consumer, adapted synchronous model, communication parameters, distributed periodic control, communication in networks, communication failures, buffer overwrites, model, verification, formal verification
1	Sheng-Tzong Cheng, Chia-Mei Chen	A Cyclic Scheduling for Relative Timing Requirements.	ICECCS	1996	DBLP DOI BibTeX RDF	relative timing constraints, Scheduling, real-time, jitters, allocation
1	Kassem Saleh, M. Ilangovan, Robert L. Probert	Recovery of Communications Protocol Design from Run Time Protocol Traces.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino	Certification of Reusable Software Components: Summary of Work In Progress.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Mark W. Maier	Developments in System Architecting.	ICECCS	1996	DBLP DOI BibTeX RDF	Systems Architecting, multi-disciplinary system development, naval architecting, civil architecting, research needs, education programs, data integrity, systems analysis, system development
1	A. K. Ganesh, Thomas J. Marlowe, Alexander D. Stoyenko, Mohamed F. Younis, José Salinas	Architecture and Language support for Fault-tolerance in Complex Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan	Animating Real-Time Reactive Systems.	ICECCS	1996	DBLP DOI BibTeX RDF	Formal Methods, Animation, Process Model, Object-Oriented Modeling, Software Requirements Specification, Real-Time Reactive Systems
1	André Postma, Thijs Krol	Interactive Consistency in Quasi-Asynchronous Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa	RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle
1	Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha	A constraint function classification for complex systems development.	ICECCS	1995	DBLP DOI BibTeX RDF	knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development
1	Björn Bernhard Magnussen	A parallel control computer structure for complex high speed applications.	ICECCS	1995	DBLP DOI BibTeX RDF	parallel control computer structure, complex high speed applications, prototype computer, performance evaluation, performance, robotics, parallel architectures, system architecture, parallel computer architecture, control algorithm
1	Pablo Darscht, Carlos Eduardo Pereira	An object-oriented approach to handle complex real-time industrial automation projects.	ICECCS	1995	DBLP DOI BibTeX RDF	production engineering computing, complex real-time industrial automation project handling, modeling perspective relationships, multi-disciplinary industrial automation projects, real-time systems, object-oriented methods, viewpoints, object-oriented approach, factory automation
1	Christof Ebert	Tracing complexity through the software process.	ICECCS	1995	DBLP DOI BibTeX RDF	complete development process, complexity factors, real-time automation projects, real-time systems, real-time systems, computational complexity, complexity, formal specification, software metrics, software process, computer aided software engineering, development environments, research project, specification methods, CASE environment
1	Paul A. Bennett	Advances in the design and deployment of human-machine interfaces.	ICECCS	1995	DBLP DOI BibTeX RDF	dynamic graphical interfaces, rapid prototyping paradox, CCG products, real-time systems, user interfaces, embedded systems, software prototyping, human-machine interfaces, man-machine systems
1	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
1	Leo Motus, R. Kinksaar, Tonu Naks, M. Pall	Enhancing object modelling technique with timing analysis capabilities.	ICECCS	1995	DBLP DOI BibTeX RDF	enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
1	Faouzi Boufarès, Faïez Gargouri, Naoufel Kraïem	On the integration of heterogeneous methods for complex applications.	ICECCS	1995	DBLP DOI BibTeX RDF	heterogeneous methods integration, complex applications, information system modeling, open ordering, transformation scheme, standardization, systems analysis, meta models, standardisation, specification techniques
1	Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng	Goal-oriented dynamic buffer pool management for data base systems.	ICECCS	1995	DBLP DOI BibTeX RDF	goal-oriented dynamic buffer pool management, dynamic buffer pool size adjustment, multiple buffer pools, complex constrained optimization problem, random access response time goal, database workload, pre-defined response time goals, goal satisfaction algorithm, dynamic tuning, relational databases, optimisation, database management systems, transaction processing, storage management, trace driven simulations, buffer storage, virtual storage
1	Moon Lee, Noah S. Prywes, Insup Lee 0001	Automation of analysis and simulation for understanding of large real-time Ada software.	ICECCS	1995	DBLP DOI BibTeX RDF	large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure
1	Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso 0001	Animation of heterogeneous prototypes of real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	heterogeneous prototypes animation, heterogeneous prototyping, internal architecture, heterogeneous prototypes, real-time systems, real-time systems, computational complexity, complexity, computer animation, software prototyping, risks reduction, global model
1	Egon Börger, Giuseppe Del Castillo	A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.	ICECCS	1995	DBLP DOI BibTeX RDF	real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures
1	Martin J. Diepstraten	Command and control system requirements analysis. System requirements specification tactical system CUP CMT.	ICECCS	1995	DBLP DOI BibTeX RDF	command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems
1	Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra	MULTIGRAPH: an architecture for model-integrated computing.	ICECCS	1995	DBLP DOI BibTeX RDF	Multigraph Architecture, complex embedded systems, meta-level architecture, domain specific model integrated program synthesis environments, application specific model interpreters, executable programs synthesis, real-time systems, programming environments, computer architecture, program interpreters, model-integrated computing, integrated modeling, MULTIGRAPH, model analysis
1	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
1	Robert A. Basta, William H. Greene	A system engineering methodology for predicting scalability of very large real-time databases.	ICECCS	1995	DBLP DOI BibTeX RDF	system engineering methodology, scalable system design, scalability prediction, very large real-time databases, real-time access, accurate performance analysis, implementation alternative evaluation, physical benchmark configuration, subset functionality, database configuration, upscale model, simulation, model, real-time systems, query processing, systems analysis, iterative methods, reconfigurable architectures, systems engineering, software performance evaluation, simulation results, very large databases, iterative process, performance data
1	Ramesh Yerraballi, Ravi Mukkamala	Schedulability related issues in end-to-end systems.	ICECCS	1995	DBLP DOI BibTeX RDF	end-to-end systems, scheduling, real-time systems, scheduling algorithms, processor scheduling, schedulability analysis, proof of correctness, uniprocessor systems
1		1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA	ICECCS	1995	DBLP BibTeX RDF
1	Rufus H. Cofer, T. J. Sanders	STADIUM: a new tool for high assurance in systems design.	ICECCS	1995	DBLP DOI BibTeX RDF	STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development
1	Kevin Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
1	Thomas J. Redling	Derivation of S-domain aircraft models.	ICECCS	1995	DBLP DOI BibTeX RDF	aircraft control, control system analysis computing, aircraft light controls, autopilot, flight testphase, design phase, airframe, C-141B, A-4D, AlliedSignal Aerospace Guidance and Control Systems, simulation, control systems, control system CAD, control laws, aerospace simulation
1	Amitava Raha, Nicholas Malcolm, Wei Zhao 0001	Hard real-time communications with weighted round robin service in ATM local area networks.	ICECCS	1995	DBLP DOI BibTeX RDF	hard real-time communications, weighted round robin service, output link scheduling, message deadlines, weighted round robin scheduling policy, weighted round robin scheduling, hard real-time connections, admission probability, heuristic scheme, scheduling, asynchronous transfer mode, ATM, local area networks, local area networks, system performance
1	Vassilka Kirova, Wilhelm R. Rossak	Representing architectural designs: a central issue in the development of complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	architectural designs representation, software design aspect, high level system design, d-ASPECT, software architecture, software architectures, formal specification, software metrics, systems analysis, system complexity, complex systems development
1	Panagiotis K. Linos	PolyCARE: a tool for re-engineering multi-language program integrations.	ICECCS	1995	DBLP DOI BibTeX RDF	multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model
1	E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh 0002, Kenneth J. Fowler	A unique tool set for engineering complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting
1	Shiu-Kai Chin, John Faust, Joseph Giordano	Integrating formal methods tools to support system design.	ICECCS	1995	DBLP DOI BibTeX RDF	formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
1	Dunia Ramazani	Contribution of object-oriented methodologies to the specification of complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects
1	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
1	Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey	General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	general-purpose multiparadigm programming languages, complex system construction, stock market exchange, Leda language, software engineering, object-oriented programming, object-oriented programming, logic programming, logic programming, functional programming, functional programming, systems analysis, heterogeneous systems, multiprogramming, high level languages, telecommunications network, programming paradigms, large systems, enabling technology, imperative programming
1	George Krasovec, Mark Baker, Serban Gheorghe	Target tracking: a real-time object oriented design experiment.	ICECCS	1995	DBLP DOI BibTeX RDF	sonar tracking, real-time object oriented design experiment, tool sets, Real-Time Object Oriented Modeling technique, real-time distributed applications, state-intensive real-time distributed computer-based systems, distributed concurrent processing, ROOM methodology, fault tolerance, real-time systems, object-oriented programming, distributed processing, software tools, software quality, software fault tolerance, real-time applications, target tracking, target tracking, real-time performance, life cycle costs
1	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
1	Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko	Using speculative execution for fault tolerance in a real-time system.	ICECCS	1995	DBLP DOI BibTeX RDF	primary-backup approach, timeliness properties, fault tolerance, real-time systems, real-time system, compiler, fault tolerant computing, program compilers, simulation results, speculative execution
1	Ronald D. Fellman, Robert Grygiel, Isaac Chu	The effect of preemptive queuing in a priority-based real-time network.	ICECCS	1995	DBLP DOI BibTeX RDF	preemptive queuing, priority-based real-time network, real-time multiprocessor system, interprocessor communications network entrance, data buffering, simulations, performance evaluation, real-time systems, virtual machines, multiprocessor interconnection networks, queueing theory, packet switching, packet switches, performance improvement
1	Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan	An object-oriented modeling of real-time robotic assembly system.	ICECCS	1995	DBLP DOI BibTeX RDF	maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
1	Christopher Landauer, Kirstie L. Bellman	Active integration frameworks.	ICECCS	1995	DBLP DOI BibTeX RDF	active integration frameworks, very large software system building, system infrastructure, disparate components coordination, wrapping research, heterogeneous system integration, posed problem, coordinated resource collections, software engineering, knowledge based systems, systems analysis, knowledge bases, resource
1	Taghi M. Khoshgoftaar, Edward B. Allen	Multivariate assessment of complex software systems: a comparative study.	ICECCS	1995	DBLP DOI BibTeX RDF	multivariate assessment, large complex systems, robust modeling, real-time telecommunications system, categorical variables, real-time systems, principal components analysis, fault tolerant computing, software quality, software quality model, complex software systems
1	L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson	Real-time computer controlled ultrasound therapy system for breast cancer treatment.	ICECCS	1995	DBLP DOI BibTeX RDF	thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics
1	Max Mühlhäuser	Modeling and design of complex cooperative software.	ICECCS	1995	DBLP DOI BibTeX RDF	complex cooperative software modelling, complex cooperative software design, workflow computing, workgroup computing, graphical view types, middle-out design methodology, scenario-based view type, work scenario, multi-view editor, work scenario views, software engineering, mobile computing, groupware, graphical user interfaces, distributed processing, multimedia computing, multimedia computing, application software
1	Jürgen Ziegler 0002, Maher Awad, Juha Kuusela	Applying object-oriented technology in real-time systems with the OCTOPUS method.	ICECCS	1995	DBLP DOI BibTeX RDF	OCTOPUS method, systematic software development, software engineering, real-time systems, real-time systems, requirements, object-oriented methods, object-oriented technology, embedded real-time systems
1	Joseph J. Martinka	Requirements for client/server performance modeling.	ICECCS	1995	DBLP DOI BibTeX RDF	client/server performance modeling requirements, distributed application models, performance modeling, discrete event simulation, discrete event simulations, client-server systems, remote procedure calls, remote procedure calls, capacity planning, performance management, functional requirements
1	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
1	Stephanie M. White, Michael Edwards	A requirements taxonomy for specifying complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	requirements taxonomy, complex systems specification, formal specification, software fault tolerance, software systems, operational environment
1	Norman F. Schneidewind	Predictions for increasing confidence in the reliability of safety critical software.	ICECCS	1995	DBLP DOI BibTeX RDF	residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
1	Swarup Acharya, Rafael Alonso	The computational requirements of mobile machines.	ICECCS	1995	DBLP DOI BibTeX RDF	mobile machines, Apple Newton, EO computers, InfoPad project, PARC tabs, simulation-based studies, wireless LAN, computer networks, mobile systems, operating systems (computers), network operating systems, hardware architecture, distributed information system, portable computers, portable computer, nomadic computing, display device, computational requirements, mobile radio
1	Jair Jehuda, Gilad Koren, Daniel M. Berry	A time-sharing architecture for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	time-sharing systems, time-sharing architecture, dynamic multiple job systems, shared-memory multi-processor platforms, multiple states, near-optimal mode selection, reliable real-time time-sharing, job-oriented strategy, best-effort system values, dynamic critical task sets, complex task characteristics, real-time systems, resource allocation, shared memory systems, processor scheduling, portability, dynamic load-balancing, complex real-time systems, divide-and-conquer approach
1	Paul Curzon, Ian M. Leslie	A case study on design for provability.	ICECCS	1995	DBLP DOI BibTeX RDF	design for provability, verification task, ATM network switch, formal specification, formal specification, formal verification, formal verification, switching fabric
1	Haifeng Qian, Eduardo B. Fernández, Jie Wu 0001	A combined functional and object-oriented approach to software design.	ICECCS	1995	DBLP DOI BibTeX RDF	combined functional and object-oriented approach, complex control system, hospital patient monitoring system, software engineering, functional programming, object-oriented design, software design, objects, object-oriented methods, data flow graphs, structured programming, medical computing, structured design, complex software systems, patient monitoring, large software systems, functional design, transformation function
1	Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams	Refinement of system-level designs using hybrid modeling.	ICECCS	1995	DBLP DOI BibTeX RDF	system-level design refinement, complex system design, unified modeling methodology, top-down/bottom-up design methodology, modeling environment, behavioral components, high risk portions, simulation, simulation, modelling, systems analysis, product development, hybrid modeling, multi-level modeling
1	Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric	A graphical paradigm facilitating correct programming of complex computer control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control engineering computing, graphical paradigm, correct programming, complex computer control systems, graphical software development paradigm, off-the-shelf application-oriented standard software function blocks, interconnection pattern, invoked function block instances, complexity, formal methods, graphical user interfaces, computer graphics, software metrics, firmware, firmware
1	Peter Henderson 0001, Graham D. Pratten	POSD-a notation for presenting complex systems of processes.	ICECCS	1995	DBLP DOI BibTeX RDF	retail data processing, large system behaviour, complex process systems, large enterprises, diagramming techniques, arbitrary component subcollections, very complex business systems, information systems, distributed processing, business processes, systems analysis, business process models, business data processing, flowcharting, financial data processing, data flow diagrams, corporate modelling
1	C. Gaspar, J. J. Schwarz	The DELPHI experiment control system.	ICECCS	1995	DBLP DOI BibTeX RDF	physical instrumentation control, high energy physics instrumentation computing, particle detectors, DELPHI experiment, LEP, physics experiment, global approach, experiment control, homogeneous interface, real-time, automation, maintainability, control systems, control system, safety critical, user-friendly
1	Michelle M. Hugue, Richard C. Scalzo	Specifying fault tolerance in large complex computing systems.	ICECCS	1995	DBLP DOI BibTeX RDF	fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints
1	Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda	Bridging structural and software design of PLC-based system families.	ICECCS	1995	DBLP DOI BibTeX RDF	PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software
1	Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria	Model-embedded on-line problem solving environment for chemical engineering.	ICECCS	1995	DBLP DOI BibTeX RDF	chemical engineering computing, chemical industry, chemical engineering, complex chemical plants, Multigraph Architecture, embedded, problem solving, on-line, problem solving environment, model-based systems, problem solving process
1	Richard P. Evans, Sooyong Park, Mark Merriman	Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers.	ICECCS	1995	DBLP DOI BibTeX RDF	engineering baselines, ASCII files, two-column index piles, system numbers, engineering tags, change set numbers, plain ASCII files, universal machine processing, database-oriented applications, work breakdown structures, development milestones, user documentation, systems analysis, traceability, visibility, system development, software development management, system documentation, system specifications
1	Alvin S. Lim	Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems.	ICECCS	1995	DBLP DOI BibTeX RDF	automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior
1	Wael M. Elseaidy, Rance Cleaveland	A tool for modeling and verifying real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool
1	D. M. Wu, Ling Guan, G. Lau, D. Rahija	Design and implementation of a distributed real-time image processing system.	ICECCS	1995	DBLP DOI BibTeX RDF	IBM computers, distributed real-time image processing system design, distributed real-time image processing system implementation, IBM personal computer, TCP/IP networking protocols, high performance remote devices, complex image processing tasks, image transfer, full-feature image processing and analysis package, programming platform, Internet, Internet, real-time systems, image processing, distributed processing, transport protocols, supercomputers, microcomputer applications, front end, research and development, image processing algorithms, image processing equipment, image display, transputer networks, remote computer
1	James B. Armstrong, Howard Jay Siegel	Dynamic task migration from SIMD to SPMD virtual machines.	ICECCS	1995	DBLP DOI BibTeX RDF	dynamic task migration, virtual SIMD machine, virtual SPMD machine, mode-independent programming language, compiler information, memory space complexity, SIMD/SPMD mixed-machine heterogeneous systems, computational complexity, parallel programming, parallelism, virtual machines, parallel machines, time complexity, program compilers, program coding
1	Anita K. Jones	Complex Systems - The External Influences.	ICECCS	1995	DBLP DOI BibTeX RDF
1	Manabu Kawada, Xu Wu, Tadashi Ae	A construction of neural-net based AI systems.	ICECCS	1995	DBLP DOI BibTeX RDF	neural-net based AI system construction, neural network technique, real-time neuron-based AI architecture, NAI, real-time case-based reasoning system, winner-take-all type neural network, real-time classification, real-time retrieval, massive case-base, flexible learning, self-organizing learning algorithm, LVQ1 learning algorithm, real-time systems, learning (artificial intelligence), knowledge based systems, unsupervised learning, supervised learning, case-based reasoning, pattern classification, learning algorithms, algorithm theory, neural net architecture
1	Edward H. Bensley, Lawrence Fisher, Mike Gates, James Houchens, Arkady Kanevsky, Soohee Kim, Peter C. Krupp, Alice Schafer, Bhavani Thuraisingham	Evolvable real-time C3 systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time C3 systems, Airborne Warning and Control System, AWACS, MITRE, Control and Communications, future systems, real-time systems, real-time systems, operating systems, Command, data management systems, command and control systems
1	Shaoying Liu, Yong Sun	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.	ICECCS	1995	DBLP DOI BibTeX RDF	structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
1	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
1	Erco Argante, Peter van der Stok, Ian Willers	On-line event reconstruction using a parallel in-memory database.	ICECCS	1995	DBLP DOI BibTeX RDF	particle detectors, high energy physics instrumentation computing, on-line event reconstruction, parallel in-memory database, PORS system, high energy physics experiments, CPREAD reconstruction program, communication medium, parallel workers, farming control structure, structured data storage, high energy physics software, systematic data structuring, code maintenance, code development, SPARCcenter 2000 8-node shared memory computer, parallel programming, parallelization, data structures, software maintenance, distributed databases, shared memory systems, data conversion
1	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
1	Humberto E. Garcia	Control and supervision of a complex production process using hybrid systems techniques.	ICECCS	1995	DBLP DOI BibTeX RDF	fission research reactors, nuclear engineering computing, fission reactor core control, complex production process supervision, hybrid systems techniques, Experimental Breeder Reactor II, Argonne National Laboratory, metallic sodium, sodium carbonate, hybrid system techniques, hybrid control solution
1	Flavio De Paoli, Francesco Tisato	Abstract and concrete components: an approach to complex systems engineering.	ICECCS	1995	DBLP DOI BibTeX RDF	complex IT systems engineering, concrete components, abstract components, multi-view interfaces, software engineering, agents, controllers, software agents, configurators, systems engineering, object-oriented methods, architectural design, connectors, integrated approach, architectural abstractions, system life cycle
1	Michael S. Moore, Jim Nichols	Model-based synthesis of a real-time image processing system.	ICECCS	1995	DBLP DOI BibTeX RDF	utility programs, MIRTIS environment, model-based synthesis, real-time image processing system, very high performance implementations, automatic data parallelization, split-and-merge processing model, parallel hardware architecture, C40 DSP network, high level programming interface, running application control, real-time systems, parallel algorithms, image processing, parallel programming, parallel architectures, graphical user interfaces, software tools, programming environments, application program interfaces, merging, model building, program control structures, graphical tools
1	Jin Song Dong, Gordon A. Rose, Roger Duke	The role of secondary attributes in formal object modelling.	ICECCS	1995	DBLP DOI BibTeX RDF	secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars
1	Mei-Chen Hsueh	Large complex system test: objectives and approaches.	ICECCS	1995	DBLP DOI BibTeX RDF	large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing
1	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
1	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
1	Luciano Baresi, Alessandro Orso, Mauro Pezzè	Customizable notations for kernel formalisms.	ICECCS	1995	DBLP DOI BibTeX RDF	customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations
1	Thomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan	A software design for integrating DESTINATION with ACEIT.	ICECCS	1995	DBLP DOI BibTeX RDF	naval engineering computing, Engineering of Complex Systems Block Program, high level software architecture description, ACEIT, user interfaces, software tools, software design, systems engineering, system engineering, cost estimation, software libraries, software cost estimation, military computing, DESTINATION, automated tools
1	J. Richard Newman, Sharon L. Rohde	Managing system technical risks using a process-based, integration infrastructure.	ICECCS	1995	DBLP DOI BibTeX RDF	system technical risks management, integration infrastructure, process-based infrastructure, system engineering automation, Catalyst, process-based integration infrastructure, technical performance measurement, systems analysis, risk management, risk management, systems engineering, systems engineers, safety-critical software
1	Daniel A. Menascé, Hassan Gomaa, Larry Kerschberg	A performance oriented design methodology for large-scale distributed data intensive information systems.	ICECCS	1995	DBLP DOI BibTeX RDF	performance oriented design methodology, large-scale distributed data intensive information systems, performance oriented methodology, EOSDIS Core System, Earth Observing System Data and Information System, performance evaluation, geographic information systems, distributed databases, systems analysis, queueing network models, performance requirements

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