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
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
