Results 1 - 10 of 7,991

Behavioral Interface Specification Languages

by John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew Parkinson , 2009
"... Behavioral interface specification languages allow programmers to express the intended behavior of programs such as functional behavior and resource consumption. Formal specifications of program behavior is useful for precise documentation, for the generation of test cases and test oracles, for debu ..."
Abstract - Cited by 30 (4 self) - Add to MetaCart
Behavioral interface specification languages allow programmers to express the intended behavior of programs such as functional behavior and resource consumption. Formal specifications of program behavior is useful for precise documentation, for the generation of test cases and test oracles

Preliminary design of jml: a behavioral interface specification language for java

by Gary T Leavens , Albert L Baker , Clyde Ruby - SIGSOFT Softw. Eng. Notes
"... Abstract JML is a behavioral interface specification language tailored to Java(TM). Besides pre-and postconditions, it also allows assertions to be intermixed with Java code; these aid verification and debugging. JML is designed to be used by working software engineers; to do this it follows Eiffel ..."
Abstract - Cited by 476 (40 self) - Add to MetaCart
Abstract JML is a behavioral interface specification language tailored to Java(TM). Besides pre-and postconditions, it also allows assertions to be intermixed with Java code; these aid verification and debugging. JML is designed to be used by working software engineers; to do this it follows

Pipa: A Behavioral Interface Specification Language for AspectJ

by Jianjun Zhao, Martin Rinard - of Lecture Notes in Computer Science , 2003
"... Pipa is a behavioral interface specification language (BISL) tailored to AspectJ, an aspect-oriented programming language. Pipa is a simple and practical extension to the Java Modeling Language (JML), a BISL for Java. Pipa uses the same basic approach as JML to specify AspectJ classes and interf ..."
Abstract - Cited by 40 (1 self) - Add to MetaCart
Pipa is a behavioral interface specification language (BISL) tailored to AspectJ, an aspect-oriented programming language. Pipa is a simple and practical extension to the Java Modeling Language (JML), a BISL for Java. Pipa uses the same basic approach as JML to specify AspectJ classes

Preliminary Design of JML: A Behavioral Interface Specification Language for Java

by Copyright Gary, Gary T. Leavens, Gary T. Leavens, Gary T. Leavens, Albert L. Baker, Albert L. Baker, Albert L. Baker, Clyde Ruby, Clyde Ruby, Clyde Ruby - Techn. Rep. 98-06, Dep. of Comp. Sci., Iowa State Univ. (http://www.cs.iastate.edu , 1999
"... JML is a behavioral interface specification language tailored to Java. It also allows assertions to be intermixed with Java code, as an aid to verification and debugging. JML is designed to be used by working software engineers, and requires only modest mathematical training. To achieve this goal, J ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
JML is a behavioral interface specification language tailored to Java. It also allows assertions to be intermixed with Java code, as an aid to verification and debugging. JML is designed to be used by working software engineers, and requires only modest mathematical training. To achieve this goal

TABLE OF CONTENTS LIST OF TABLES.............................................. LIST OF FIGURES.............................................

by Faraz Hussain, Roger D. Maddux, Samik Basu
"... Enhancing a behavioral interface specification language with temporal logic features ..."
Abstract - Add to MetaCart
Enhancing a behavioral interface specification language with temporal logic features

Part of the Computer Sciences Commons Recommended Citation

by Faraz Hussain, Faraz Hussain, Roger D. Maddux, Samik Basu , 2009
"... Enhancing a behavioral interface specification language with temporal logic features ..."
Abstract - Add to MetaCart
Enhancing a behavioral interface specification language with temporal logic features

Investigating the Energy Consumption of a Wireless Network Interface in an Ad Hoc Networking Environment

by Laura Marie Feeney, Martin Nilsson - In IEEE Infocom , 2001
"... Energy-aware design and evaluation of network protocols requires knowledge of the energy consumption behavior of actual wireless interfaces. But little practical information is available about the energy consumption behavior of well-known wireless network interfaces and device specifications do not ..."
Abstract - Cited by 669 (3 self) - Add to MetaCart
Energy-aware design and evaluation of network protocols requires knowledge of the energy consumption behavior of actual wireless interfaces. But little practical information is available about the energy consumption behavior of well-known wireless network interfaces and device specifications do

Tcl and the Tk Toolkit

by John K. Ousterhout , 1994
"... This book is about two packages called Tcl and Tk. Together they provide a programming system for developing and using graphical user interface (GUI) applications. Tcl stands for "tool command language" and is pronounced "tickle"; is a simple scripting language for controlling an ..."
Abstract - Cited by 1341 (4 self) - Add to MetaCart
This book is about two packages called Tcl and Tk. Together they provide a programming system for developing and using graphical user interface (GUI) applications. Tcl stands for "tool command language" and is pronounced "tickle"; is a simple scripting language for controlling

Statecharts: A Visual Formalism For Complex Systems

by David Harel , 1987
"... We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we cal ..."
Abstract - Cited by 2704 (56 self) - Add to MetaCart
. Statecharts are thus compact and expressive--small diagrams can express complex behavior--as well as compositional and modular. When coupled with the capabilities of computerized graphics, statecharts enable viewing the description at different levels of detail, and make even very large specifications

Cognitive networks

by Ryan W. Thomas, Luiz A. DaSilva, Allen B. MacKenzie - IN PROC. OF IEEE DYSPAN 2005 , 2005
"... This paper presents a definition and framework for a novel type of adaptive data network: the cognitive network. In a cognitive network, the collection of elements that make up the network observes network conditions and then, using prior knowledge gained from previous interactions with the network ..."
Abstract - Cited by 1106 (7 self) - Add to MetaCart
with the network, plans, decides and acts on this information. Cognitive networks are different from other “intelligent ” communication technologies because these actions are taken with respect to the end-to-end goals of a data flow. In addition to the cognitive aspects of the network, a specification language
Results 1 - 10 of 7,991