Contents include: General geographical codes; NEDS specific codes; SAROAD specific codes; SOTDAT specific codes; HATREMS specific codes.

The manual contains the following: general geographical codes; NEDS specific codes; SAROAD specific codes; SOTDAT specific codes; QAMIS specific codes; SIP specific ...

DECOR: A Method for the Specification and Detection of Code and Design Smells Naouel Moha, Yann-Gae�l Gue�he�neuc, Laurence Duchien, and Anne-Franc�oise Le Meur Abstract--Code and design smells are poor to the research field related to code and design smells: 1) DECOR, a method that embodies and defines all

In model-driven engineering (MDE) program code generators are used to generate program code from abstract program models, thus bringing the final code closer to program specification and saving time that would be spent in coding. Current approach to program ...

Abstract. Formal specifications of software systems are extremely useful because they can be rigorously analyzed, verified, and validated, giving high confidence that the specification captures the desired behavior. To transfer this confidence to the actual source code implementation, a formal link is needed ...

Abstract: Modifications of computer code to calculate particle evaporation from excited compound nuclei. NASA Center: NASA (non Center Specific) ...

To judge the understanding level of students unfamiliar with programming on a sample code, we propose a specification change exercise. In a specification change exercise, a teacher indicates a tiny specification change on the sample code. He forces students to modify the given sample ...

An important purpose of a programming language is to insulate the programmer from low level details and provide a high enough level of abstraction to be productive and develop reasonably portable application codes. For these reasons scientific programming is longer done using assembly language. But high performance of scientific applications often requires ...

A promising trend in software development is the increasing adoption of model-driven design. In this approach, a developer first constructs an abstract model of the required program behavior in a language, such as Statecharts or Stateflow, and then uses a code generator to automatically transform the model into an executable program. This approach has many ...

Repetition priming can be caused by the rapid retrieval of previously encoded stimulus-response (S-R) bindings. S-R bindings have recently been shown to simultaneously code multiple levels of response representation, from specific Motor-actions to more abstract Decisions ("yes"/"no") and Classifications (e.g., "man-made"/"natural"). ...

document contains one major result of work package 4 (kernel specification and verification): a formal specification of the Nova interface. The specification consists of three main parts: (1) a definition of an abstract internal state for the Nova micro-hypervisor, (2) a description of the operations of the ...

The parallel functional programming language Eden was specially designed to be implemented in a distributed setting. In a previous paper [3] we presented an operational specification of DREAM, the distributed abstract machine for Eden. In this paper we go a step further and present the imperative code generated for Eden expressions and ...

In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the resulting aspects. In some cases, this tidying up entails the replacement of the original implementation with a different, centralized design, made possible by modularization. The collection of ...

Neurophysiological data reveals intrinsic cellular properties that suggest how entorhinal cortical neurons could code memory by the phase of their firing. Potential cellular mechanisms for this phase coding in models of entorhinal function are reviewed. This mechanism for phase coding provides a substrate for modeling the responses of ...

We propose a new framework for providing information to help optimize domain-specific application codes. Its design addresses problems that derive from the widening gap between the domain problem statement by domain experts and the architectural details o...

. A formal model for the underlying hardware (RT level) of the microcontroller (PIC 16C71) in commercial use correctly in the micro� controller hardware. Models for the flowchart specifica� tion and the assembly at a higher level of abstraction. Inconsistencies in the assembly code with respect to the specification

The word radar', was a code-name used by the U.S. Navy in 1940 for radio ... specifically designed for subsurface sounding of the lunar crust. ..... data are then processed at central processing facilities in Europe, Japan, Canada and the U.S. .... mass, possibly inflatables, lightweight, more efficient deployment ...

... Abstract Validation of the turbulence models in the CFD code Beggar for unsteady turbulent flow is discussed. ... The CFD code that the Computa- ...

... Title : PARC Code: Theory and Usage. ... Abstract : The PARC code is a general purpose flow simulation computer program. ...

... Title : ON DECODING EUCLIDEAN GEOMETRY CODES,. ... Abstract : An improved decoding algorithm for Euclidean Geometry codes is presented. ...

... Title : Guidelines for Structured Coding. ... Abstract : The purpose of this manual is to provide guidelines for writing structured code within CCTC. ...

... Title : The Theory Behind the SOCRATES Code. ... Abstract : The SOCRATES contamination model is described at length. ...

Within a model-based software engineering process it needs to be ensured that properties of abstract specifications are preserved by transformations down to executable code. This is even more important in the area of safety-critical real-time systems where additionally non-functional properties are crucial. In the VATES project, we ...

... Beside the verification of the parallel C code, comparison of the time effectiveness of both codes will be prepared. The results ...

... must be labeled with with specific machine-readable bar code information by ... The purpose of the bar coding rule is to reduce transfusion errors and ...

... a restricted language of ... SPECIFICATIONS, *PROGRAMMING LANGUAGES, *CODING ... VARIABLES, REASONING, COMPARISON, VERIFICATION. ...

CodeContracts provide a language agnostic way to specify and check preconditions, postconditions and object invariants (collectively called contracts [17]). Specifications take the form of calls to static methods of a Contract library [7]. The authoring library is available out-of-the-box to all .NET programmers from ?4.

and Design Smells Naouel Moha, Yann-Ga�el Gu�eh�eneuc, Laurence Duchien, and Anne-Franc�oise Le Meur Abstract-- Code and design smells are poor solutions to recur- ring implementation and design problems. They may propose three contributions to the research field related to code and design smells: (1) DECOR, a method

From a domain analysis to the specification and detection of code and design smells Naouel Moha1@irisa.fr Abstract. Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Consequently, several ...

... Accession Number : ADA462154. Title : Generating Optimized Code from SCR Specifications. Corporate Author : STATE ...

Abstract. In this paper, we argue that current research in aspect-oriented refactoring can benefit from specific efforts to develop a new coding style appropriate for aspect-orientation. This notion can be captured through catalogues of refactorings and code smells, after which it can provide a basis for tool ...