|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 485 occurrences of 305 keywords
|
|
|
Results
Found 823 publication records. Showing 823 according to the selection in the facets
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 |
|
Displaying result #801 - #823 of 823 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|