Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mark Moriconi (eds.) |
Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | E. Jane Cameron, Yow-Jian Lin |
A real-time transition model for analyzing behavioral compatibility of telecommunications services. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Reino Kurki-Suonio |
Stepwise design of real-time systems. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Bent Dandanell |
Rigorous development using RAISE. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Ratel, Nicolas Halbwachs, Pascal Raymond |
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel |
Specifying and verifying requirements of real-time systems. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok |
Automated analysis of bounded response time for two NASA expert systems. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby, Friedrich W. von Henke |
Formal verification of algorithms for critical systems. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Issarny |
An exception handling model for parallel programming and its verification. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Phyllis G. Frankl, Elaine J. Weyuker |
Assessing the fault-detecting ability of testing methods. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ricky W. Butler, George B. Finelli |
The infeasibility of experimental quantification of life-critical software reliability. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen |
A systematic kernel development. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jia Xu, David Lorge Parnas |
On satisfying timing constraints in hard-real-time systems. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Joanne M. Atlee, John D. Gannon |
State-based model checking of event-driven system requirements. |
SIGSOFT |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carol K. Walter |
DELTA: the Universal Debugger for CP-6. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jonice Cynthia Weber |
Interactive debugging of concurrent programs. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Thomas R. Gross |
Distributed debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Zen Kishimoto |
An experimental debugger in a limited programming environment. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Jeanne Ferrante |
High level language debugging with a compiler. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Peter C. Bates, Jack C. Wileden |
An approach to high-level debugging of distributed systems: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Wayne C. Gramlich |
Debugging methodology: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Mark Scott Johnson |
Summary of evaluation and comments. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Ron Tischler, Robin Schaufler, Charlotte Payne |
Static analysis of programs as an aid to debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Karl J. Ottenstein, Linda M. Ottenstein |
High-level debugging assistance via optimizing compiler technology. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Polle T. Zellweger |
An interactive high-level debugger for control-flow optimized programs. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini |
Development of a debugger for a concurrent language. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | John D. Johnson, Gary W. Kenney |
Implementation issues for a source level symbolic debugger. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Monika Müllerburg |
The role of debugging within software engineering environments. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Knut Barra, Hans Petter Dahle |
SIMOB: a portable toolbox for observation of SIMULA executions. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Cook, Insup Lee 0001 |
DYMOS: a dynamic modification system. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Insup Lee 0001 |
Integrated environments. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bert Beander |
VAX DEBUG: an interactive, symbolic, multilingual debugger. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave |
Knowledge-based debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Lori A. Clarke, Debra J. Richardson |
The application of error-sensitive testing strategies to debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Janice Cynthia Weber |
Implementation issues: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Powell, Mark A. Linton |
A database model of debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Cargill |
The blit debugger: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Martin Mikelsons |
Interactive program execution in Lispedit. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Charles R. Hill |
A real-time microprocessor debugging technique. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | James R. Cardell |
Multilingual debugging with the SWAT high-level debugger. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Michael S. Kenniston, Russ Atkinson |
Implementation issues II. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Bruegge, Peter G. Hibbard |
Generalized path expressions: a high level debugging mechanism. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Rich Seidner, Nick Tindall |
Interactive debug requirements. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Harald Wertz |
An integrated Lisp programming environment. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | W. Morven Gentleman, Henry Hoeksma |
Hardware assisted high level debugging: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bates |
Requirements/design debugging: session summary. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Claude Jard, Gregor von Bochmann |
An approach to testing specifications. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fritzson |
A systematic approach to advanced debugging: incremental compilation. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Dick Hamlet |
Debugging "level": step-wise debugging. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson |
Knowledge-based fault localization in debugging: preliminary draft. |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Richard E. Fairley, Mark Scott Johnson (eds.) |
Proceedings of the symposium on High-level debugging, SIGSOFT 1983, Pacific Grove, California, USA, March 20-23, 1983 |
SIGSOFT |
1983 |
DBLP DOI BibTeX RDF |
|