scientific article; zbMATH DE number 1006119
From MaRDI portal
Publication:4335814
zbMath0887.68013MaRDI QIDQ4335814
No author found.
Publication date: 4 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of software (68N99)
Related Items (96)
The new Numdam platform ⋮ Communication protocols for options and results in a distributed optimization environment ⋮ Using atomic await commands to develop concurrent programs in Java ⋮ Design pattern recovery based on annotations ⋮ Modular design of real-time systems using hierarchical communicating real-time state machines ⋮ Разработка и применение вычислительной модели типовых решений. Пример использования «портфеля задач» для обучения нейронной сети HRBF ⋮ On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams ⋮ <scp>Ginkgo</scp> : A Modern Linear Operator Algebra Framework for High Performance Computing ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ OREX-J: Towards a universal software framework for the experimental analysis of optimization algorithms ⋮ The HeKatE methodology. Hybrid engineering of intelligent systems ⋮ A principled, complete, and efficient representation of C++ ⋮ Programming with C++ concepts ⋮ Design and evaluation of C++ open multi-methods ⋮ Unified behavior framework for reactive robot control ⋮ Automated prototyping tool-kit (APT) ⋮ Taligent MVP in interactive statistical graphics ⋮ Arrangements on parametric surfaces. I: General framework and infrastructure ⋮ Relational concept analysis in practice: capitalizing on data modeling using design patterns ⋮ A computer model based on real anatomy for electrophysiology study ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ An empirical study of aspect-oriented metrics ⋮ Unnamed Item ⋮ MooAFEM: an object oriented Matlab code for higher-order adaptive FEM for (nonlinear) elliptic PDEs ⋮ An object-oriented environment for developing finite element codes for multi-disciplinary applications ⋮ Matching MyType to subtyping ⋮ On design and implementation of a generic number type for real algebraic number computations based on expression dags ⋮ Action systems in incremental and aspect-oriented modeling ⋮ The MISSION Client: Navigating Ontology Information for Query Formulation and Publication in Distributed Statistical Information Systems ⋮ A generic grid interface for parallel and adaptive scientific computing. II: Implementation and tests in DUNE ⋮ Verified software units ⋮ Agent-Based Modeling and Computer Languages ⋮ The ISDF Framework: Integrating Security Patterns and Best Practices ⋮ odeToJava ⋮ Object-Oriented SPH-Simulations with Surface Tension ⋮ Object-oriented development and application of a nonlinear structural analysis framework ⋮ MiniCP: a lightweight solver for constraint programming ⋮ Modeling and visualizing object-oriented programs with Codecharts ⋮ Sparse approximate inverse preconditioners on high performance GPU platforms ⋮ Compiling Janus to RSSA ⋮ Managing Proof Documents for Asynchronous Processing ⋮ A type system for reflective program generators ⋮ Distance preserving recombination operator for Earth observation satellites operations scheduling ⋮ An object-oriented architecture for sensorless cutting force feedback for CNC milling process monitoring and control ⋮ Semantic information and the correctness theory of truth ⋮ Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs ⋮ Enforcing structural regularities in software using intensive ⋮ Conformance notions for the coordination of interaction components ⋮ From a domain analysis to the specification and detection of code and design smells ⋮ The plumbing of interactive graphics ⋮ Delegation by object composition ⋮ Balancing flexibility and performance in three dimensional meshing tools ⋮ Unnamed Item ⋮ Relating requirements and architectures: A study of data-grids ⋮ Experience of building an architecture-based generator using GenVoca for distributed systems ⋮ A Subdivision Method for Arrangement Computation of Semi-Algebraic Curves ⋮ Evaluation of a Java Computer Algebra System ⋮ An object-oriented framework for versatile discrete objects simulation using design patterns ⋮ Mining early aspects based on syntactical and dependency analyses ⋮ Dynamic algorithm selection for runtime concepts ⋮ Language Support for Service Interactions in Service-Oriented Architecture ⋮ Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach ⋮ Service Based Development of a Cross Domain Reference Architecture ⋮ \texttt{FEMPAR}: an object-oriented parallel finite element framework ⋮ Some new technics regarding the parallelisation of ZéBuLoN, an object oriented finite element code for structural mechanics ⋮ Implementation and analysis of real-time communication protocol compositions ⋮ Patterns for Refinement Automation ⋮ A Visual Dataflow Language for Image Segmentation and Registration ⋮ A Debugger for the Interpreter Design Pattern ⋮ Pattern Detection in Object-Oriented Source Code ⋮ Transforming of an existing structural analysis program to the object-oriented framework ⋮ Visual software analytics for the build optimization of large-scale software systems ⋮ CHR for Imperative Host Languages ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Refinement patterns for ASTDs ⋮ Adjoint Code Design Patterns ⋮ Architectural Styles as a Guide for Software Architecture Reconstruction ⋮ An application framework to systematically develop complex learning resources based on collaborative knowledge engineering ⋮ Featherweight Java with dynamic and static overloading ⋮ Cooperative aspect-oriented programming ⋮ Client-based cohesion metrics for Java programs ⋮ Specification Patterns and Proofs for Recursion through the Store ⋮ An Overview of CaesarJ ⋮ Towards a Catalogue of Refactorings and Code Smells for AspectJ ⋮ Design and Implementation of an Aspect Instantiation Mechanism ⋮ Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Fluctuating Hydrodynamics Methods for Dynamic Coarse-Grained Implicit-Solvent Simulations in LAMMPS ⋮ Teko: A Block Preconditioning Capability with Concrete Example Applications in Navier--Stokes and MHD ⋮ A formalism to describe design patterns based on role concepts ⋮ Unnamed Item ⋮ Interactive verification of architectural design patterns in FACTum ⋮ A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works ⋮ MOMI: a calculus for mobile mixins ⋮ Invariants for Non-Hierarchical Object Structures
This page was built for publication:
