Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Charles W. McKay	Standards for the sake of standards - a recipe for failure.	TRI-Ada	1988	DBLP DOI BibTeX RDF
37	R. J. Martin	Assurance technology.	TRI-Ada	1988	DBLP DOI BibTeX RDF
37	A. Nico Habermann, Ugo Montanari (eds.)	Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings	Software Development and Ada	1987	DBLP BibTeX RDF
37	Ferdinando Gallo	The PCTE Initiative: Toward a European Approach to Software Engineering.	System Development and Ada	1986	DBLP BibTeX RDF
37	James E. Archer Jr.	Design of the Rational Environment.	System Development and Ada	1986	DBLP BibTeX RDF
37	Cliff B. Jones	Software Development Based on Formal Methods.	System Development and Ada	1986	DBLP BibTeX RDF
37	Stephen J. Westfold, Lawrence Markosian, William A. Brew	Knowledge-Based Software Development from Requirements to Code.	System Development and Ada	1986	DBLP BibTeX RDF
37	Bernd Krieg-Brückner	Integration of Program Construction and Verification: The PROSPECTRA Methodology.	System Development and Ada	1986	DBLP BibTeX RDF
37	Dines Bjørner	Project Graphs and Meta-Programs. Towards a Theory of Software Development.	System Development and Ada	1986	DBLP BibTeX RDF
37	A. Nico Habermann	The Software Engineering Institute at Carnegie Mellon University.	System Development and Ada	1986	DBLP BibTeX RDF
37	Egidio Astesiano, Gianna Reggio	The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction.	System Development and Ada	1986	DBLP BibTeX RDF
37	James S. Briggs	The Design of AIR and its Application to Ada Separate Compilation.	Ada Software Tools Interfaces	1983	DBLP DOI BibTeX RDF
37	Walter F. Tichy	Adabase: a data base for Ada programs.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Paul N. Hilfinger	Implementation strategies for Ada tasking idioms.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Olivier Roubine, Cii-Honeywell Bull, Joachim Teller, Olivier Maurel	Lolita: a low level intermediate language for Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Vittal Kini, David F. Martin, Allen Stoughton	Testing the INRIA Ada formal definition: the USC-ISI formal semantics project.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Stephen B. Whitehill	An Ada virtual operating system.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Morris E. Kranc	A command language for the Ada environment.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Alessandro Fantechi, F. Gallo	Portable Ada programming system: a proposed run-time architecture.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Anita Jones, Anders Ardö	Comparative efficiency of different implementations of the Ada rendezvous.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Geert B. Clemmensen	A formal model of distributed Ada tasking.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Gary Frankel, Roger Arnold	Linkage of Ada components: theme & variations.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Shaula Yemini	On the suitability of Ada multitasking for expressing parallel algorithms.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Richard M. Thall	The kapse for the Ada language system.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Amir Pnueli, Willem P. de Roever	Rendezvous with ADA: a proof theoretical view.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Arthur G. Duncan, John S. Hutchison	Using Ada for industrial embedded microprocessor applications, II.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Steven M. German, David P. Helmbold, David C. Luckham	Monitoring for deadlocks in Ada tasking.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Edmond Schonberg, Gerald A. Fisher	An efficient method for handling operator overloading in Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Wei Li 0022	An operational semantics of multitasking and exception handling in Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Bill Appelbe, Gary Dismukes	An operational definition of intermediate code for implementing a portable Ada compiler.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein	The integration of existing database systems in an Ada environment.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Richard T. Simpson	The als Ada compiler front end architecture.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Mark Sherman 0001, Andy Hisgen, Jonathan Rosenberg	A methodology for programming abstract data types in Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	J. P. Privitera	Ada design language for the structured design methodology.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Peter A. Belmont	On the access-before-elaboration problem in Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Edward Falis	Design and implementation in Ada of a runtime task supervisor.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Giorgio Bruno	An Ada package for discrete event simulation.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
37	Jan Storbank Pedersen	A Formal Semantics Definition of Sequential Ada.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
37	Dines Bjørner, Ole N. Oest	The DDC Ada Compiler Development Project.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
37	Hans Henrik Løvengreen	Parallelism in Ada.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
37	Ole Dommergaard	The Design of a Virtual Machine for Ada.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
37	Jørgen Bundgaard, Lennart Schultz	A Denotational (Static) Semantics Method for Defining Ada Context Conditions.	Towards a Formal Description of Ada	1980	DBLP DOI BibTeX RDF
37	Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza	Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control
36	Bin Ma 0003, Chunxiao Li 0005, Zhaolong Wu, Yulong Huang, Ada Chaeli van der Zijp-Tan, Shaobo Tan, Dongqi Li, Ada Fong, Chandan Basetty, Glen M. Borchert, Ryan Benton, Bin Wu 0008, Jingshan Huang	Muscle fatigue detection and treatment system driven by internet of things.	BMC Medical Informatics Decis. Mak.	2019	DBLP DOI BibTeX RDF
36	Jingshan Huang, Keisuke Fukuo, Gen Yoshino, Tsutomu Kazumi, Chandan Basetty, Yulong Huang, Shaobo Tan, Dongqi Li, Ada Chaeli van der Zijp-Tan, Ada Fong, Glen M. Borchert, Bin Wu 0008	Body Composition and Biochemical Characteristics of Normal Weight Obesity in Japanese Young Women with Different Physical Activities.	BIBM	2018	DBLP DOI BibTeX RDF
36	Yushan Qiu, Yulong Huang, Shaobo Tan, Dongqi Li, Ada Chaeli van der Zijp-Tan, Ada Fong, Glen M. Borchert, Jingshan Huang	Novel Method for Singleton and Cyclic Attractor Observability in Boolean Networks.	BIBM	2018	DBLP DOI BibTeX RDF
36	Bin Ma 0003, Chunxiao Li 0005, Zhaolong Wu, Yulong Huang, Ada Chaeli van der Zijp-Tan, Shaobo Tan, Dongqi Li, Ada Fong, Chandan Basetty, Glen M. Borchert, Jingshan Huang	A PWM-Based Muscle Fatigue Detection and Recovery System.	BIBM	2018	DBLP DOI BibTeX RDF
36	Scott Arthur Moody	The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada, STARS
36	Dan DeJohn	The Tyndall Range Control System: Bringing Network Computing to C2 Systems.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Murali Sitaraman, Michael B. Feldman, Gary Ford 0001, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide	What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Pamela Arya	The RCAS Software Architecture and Its Relation to Reuse.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Robert Dewar	The GNAT Compilation Model.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Robert Greene, George Lownes	Embedded CPU Target Migration, Doing More With Less.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith	Formal Methods Fact vs. Fiction.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Richard Kenner	Integrating GNAT and GCC.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
36	Neil Salant	The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Murali Sitaraman, Jeff Gray 0001	Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	James W. Moore	M7: Reuse Library Interoperability Group (RIG): Purpose and Progress (Panel).	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Harry Koehnemann, Timothy E. Lindquist	Towards Target-Level Testing and Debugging Tools for Embedded Software.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada, DEBUG
36	Donald G. Krantz, Ron Belt, Steve Gunderson, Belle Shenoy, Mark Vojta	The Aladdex Operating Systems for the Aladdin Multiprocessor.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Lewis Gray	M3: MIL-STD-SDD: The Next Generation of Software Development Standards (Panel).	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Anneliese von Mayrhauser, Taewoong Jeon	CASE Tool Architecture for Knowledge-Based Regression Testing.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Carol Diane Klingler	A Case Study in Process Definition.	TRI-Ada	1993	DBLP DOI BibTeX RDF	process representation, Ada, case study, software process modeling, STARS, process definition
36	Alan W. Brown, David J. Carney, Peter H. Feiler, Patricia A. Oberndorf, Marvin V. Zelkowitz	A Project Support Environment Reference Model.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Teri F. Payton	STARS: Impact of Megaprogramming on Systems Engineering, Process and Future Competitiveness (Panel).	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada, STARS
36	Colin Atkinson 0001, David Weller	Integrating Inheritance and Synchronization in Ada9X.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
36	Gregory M. Bowen	Testing Reusable Software.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Terry J. Westley	Evaluation and Improvement of Performance of the Communication Subsystem of a Real-Time, Distributed, C2 Simulator.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada, Ethernet
36	Deb Waterman	A Practical Look at SAMeDL.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada, SQL
36	Andrew R. Carmichael	Defining Software Architectures Using the Hierarchical Object-Oriented Design Nethod (HOOD).	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Michael I. Frankel	Analysis/Architecture Models to ASG Models: Enabling the Transition.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Scott Cleveland	Implementation versus Binding to the X Window Environment.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada, X-Window
36	Jon S. Jensen, Howard D. Stewart, Paul H. Whittington	Successful Experience with AdaSAGE Reusable Component Library.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	N. Scott Strong	Identifying a Complete Object Oriented Life Cycle for Large Systems Development.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	John Beidler	Building on the Booch Components: What Can Be Learned When Modifying Real World Software Tools for Educational Use.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Mohamed Fayad, Louis J. Hawn, Mark A. Roberts, Jay W. Schooley, Wei-Tek Tsai	Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Harry F. Joiner	Management Barriers to Software Reuse.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	David Brookman	Object Oriented Methodology Demonstration (OOMD) and Discussion.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	John A. Jurik, Roger S. Schemenaur	Experiences in Object Oriented Development.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
36	Donald J. Reifer	Introducing Software Reuse.	TRI-Ada Tutorials (2)	1992	DBLP DOI BibTeX RDF	Ada
36	Jean-Pierre Rosen	Issues with Reusable Software Components.	TRI-Ada Tutorials (2)	1992	DBLP DOI BibTeX RDF	Ada
36	Judah Mogilensky, Mark Manduke	After the Assessment: Preparing and Implementing a Process Improvement Action Plan.	TRI-Ada Tutorials (2)	1992	DBLP DOI BibTeX RDF	Ada
36	Mohamed Fayad, Dennis de Champeaux	Object-Oriented Experiences.	TRI-Ada Tutorials (1)	1992	DBLP DOI BibTeX RDF	Ada
36	Tom Roseman	Rate Monotonic Analysis.	TRI-Ada Tutorials (1)	1992	DBLP DOI BibTeX RDF	Ada
36	Grady Booch	Object-Oriented Design with 2176A.	TRI-Ada Tutorials (1)	1992	DBLP DOI BibTeX RDF	Ada
36	Rod Chapman	Correctness by construction: putting engineering (back) into software.	SIGAda	2007	DBLP DOI BibTeX RDF
36	Yuan Liu, Baowen Xu, Zhenqiang Chen	Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.	ICFEM	2002	DBLP DOI BibTeX RDF
36	Betty Alexandra Toole	Ada Byron, Lady Lovelace, An Analyst and Metaphysician.	IEEE Ann. Hist. Comput.	1996	DBLP DOI BibTeX RDF
36	Robert Chun, Randy Lichota, Brad Perry, Nael Sabha	Synthesis of parallel Ada code from a knowledge base of rules.	SPDP	1991	DBLP DOI BibTeX RDF
36	Franz-Josef Grosch, Gregor Snelting	Inference-Based Overloading Resolution for ADA.	PLILP	1990	DBLP DOI BibTeX RDF
36	Chris D. Marlin, Michael Oudshoorn, Dennis Freidel	A Model of Communication in Ada using Shared Data Abstractions.	ICCI	1990	DBLP DOI BibTeX RDF
36	Roger Ison	An Experimental Ada Programming Support Environment in the HP CASEdge Integration Framework.	SEE	1989	DBLP DOI BibTeX RDF
36	David O'Neill	VDM Development with ADA as the Target Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
36	Manfred Jackel	ADA Concurrency Specified by Graph Grammars.	WG	1986	DBLP DOI BibTeX RDF
36	David S. Rosenblum, Sriram Sankar, David C. Luckham	Concurrent Runtime Checking of Annotated Ada Programs.	FSTTCS	1986	DBLP DOI BibTeX RDF
36	Peter Wegner	On the Unification of Data and Program Abstraction in Ada.	POPL	1983	DBLP DOI BibTeX RDF
36	Herman Fischer, Edgar H. Sibley	Implementation of an Ada run-time environment.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
36	Sabina H. Saib	Future Ada environments.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
36	Peter Wegner	Self-Assessment Procedure VIII: A Self-Assessment Procedure Dealing with the Programming Language Ada.	Commun. ACM	1981	DBLP DOI BibTeX RDF
36	Judah Mogilensky, Brad Balfour (eds.)	Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993	WADAS	1993	DBLP DOI BibTeX RDF