Search results for "avionics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Michael Winokur, Arie Grinman, Israel Yosha, Reuven Gallant	Measuring the Effectiveness of Introducing New Methods in the Software Development Process.	EUROMICRO	1998	DBLP DOI BibTeX RDF
11	Helen Treharne, J. Draper, Steve A. Schneider	Test Case Preparation Using a Prototype.	B	1998	DBLP DOI BibTeX RDF	Formal Software Lifecycle, Prototype, B-Method
11	Thomas M. Storey, Bruce McWilliam	A Test Methodology for High Performance MCMs.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	LOCST, AC BIST, delay testing, boundary scan, LSSD, MCM testing
11	Anouar Jamoussi	An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases.	HASE	1997	DBLP DOI BibTeX RDF
11	Stuart Reid	An Empirical Analysis of Equivalence Partitioning, Boundary Value Analysis and Random Testing.	IEEE METRICS	1997	DBLP DOI BibTeX RDF
11	Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham	Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling.	RTSS	1997	DBLP DOI BibTeX RDF	adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation
11	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
11	Norman F. Schneidewind	Reliability and Risk Analysis for Software that Must be Safe.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	Software Reliability, Risk Analysis, Software Safety
11	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
11	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
11	Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari	Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems.	HICSS (1)	1996	DBLP DOI BibTeX RDF
11	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
11	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke	Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control
11	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
11	Jacques Brygier, Marc Richard-Foy	Certification of Ada Real-Time Executives for Safety Critical Applications.	Ada-Europe	1993	DBLP DOI BibTeX RDF
11	Carlos Almeida, Bradford B. Glade, Keith Marzullo, Robbert van Renesse	High availability in a real-time system.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
11	Vibeke Libby	Use of window addressable memories for high speed geometrical analysis.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
11	José L. Fernández, Juan Antonio de la Puente	Constructing a Pilot Library of Components for Avionic Systems.	Ada-Europe	1991	DBLP DOI BibTeX RDF
11	M. J. Iacoponi	The Advanced Architecture On-board Processor signal processing testbed.	J. VLSI Signal Process.	1990	DBLP DOI BibTeX RDF
11	William A. Wulf	Abstract Data Types: A Retrospective and Prospective View.	MFCS	1980	DBLP DOI BibTeX RDF
11	Terry A. Straeter, Carlo Broglio, Marilyn Fujii, Leon G. Stucki, Sabina H. Saib, David C. Luckham	Software validation and verification - a state of the art report(Panel Discussion).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
11	Alan N. Sukert	Applications of error data in software error model validations(Presentation Abstract).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
11	Maria Skarbo, John N. Shoosmith	What Employers Look For In Hiring Computer Science Graduates (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF