The following pages link to (Q4335814):
Displayed 50 items.
- An application framework to systematically develop complex learning resources based on collaborative knowledge engineering (Q747498) (← links)
- Modular design of real-time systems using hierarchical communicating real-time state machines (Q853606) (← links)
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams (Q855010) (← links)
- A generic grid interface for parallel and adaptive scientific computing. II: Implementation and tests in DUNE (Q938337) (← links)
- Object-oriented development and application of a nonlinear structural analysis framework (Q948818) (← links)
- An object-oriented architecture for sensorless cutting force feedback for CNC milling process monitoring and control (Q964364) (← links)
- Enforcing structural regularities in software using intensive (Q967536) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- From a domain analysis to the specification and detection of code and design smells (Q973043) (← links)
- Experience of building an architecture-based generator using GenVoca for distributed systems (Q983190) (← links)
- Mining early aspects based on syntactical and dependency analyses (Q988199) (← links)
- Dynamic algorithm selection for runtime concepts (Q988558) (← links)
- Implementation and analysis of real-time communication protocol compositions (Q995821) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Cooperative aspect-oriented programming (Q1016648) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (Q1021475) (← links)
- A formalism to describe design patterns based on role concepts (Q1037247) (← links)
- A software package of algorithms and heuristics for disjoint paths in \textit{Pla}nar \textit{Net}works (Q1304467) (← links)
- Automated prototyping tool-kit (APT) (Q1394875) (← links)
- Relating requirements and architectures: A study of data-grids (Q1776141) (← links)
- An empirical study of aspect-oriented metrics (Q1951622) (← links)
- An object-oriented environment for developing finite element codes for multi-disciplinary applications (Q1958610) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Verified software units (Q2233451) (← links)
- MiniCP: a lightweight solver for constraint programming (Q2246188) (← links)
- Modeling and visualizing object-oriented programs with Codecharts (Q2248065) (← links)
- Balancing flexibility and performance in three dimensional meshing tools (Q2270001) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- The new Numdam platform (Q2364702) (← links)
- Design pattern recovery based on annotations (Q2379568) (← links)
- OREX-J: Towards a universal software framework for the experimental analysis of optimization algorithms (Q2393125) (← links)
- Matching MyType to subtyping (Q2442957) (← links)
- Distance preserving recombination operator for Earth observation satellites operations scheduling (Q2481604) (← links)
- An object-oriented framework for versatile discrete objects simulation using design patterns (Q2501931) (← links)
- Visual software analytics for the build optimization of large-scale software systems (Q2513379) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- MooAFEM: an object oriented Matlab code for higher-order adaptive FEM for (nonlinear) elliptic PDEs (Q2700349) (← links)
- odeToJava (Q2828139) (← links)
- Fluctuating Hydrodynamics Methods for Dynamic Coarse-Grained Implicit-Solvent Simulations in LAMMPS (Q2830581) (← links)
- Teko: A Block Preconditioning Capability with Concrete Example Applications in Navier--Stokes and MHD (Q2830617) (← links)
- Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)
- The HeKatE methodology. Hybrid engineering of intelligent systems (Q2930572) (← links)
- Language Support for Service Interactions in Service-Oriented Architecture (Q3058777) (← links)
- Design Pattern Detection in Java Systems: A Dynamic Analysis Based Approach (Q3058788) (← links)
- Service Based Development of a Cross Domain Reference Architecture (Q3058811) (← links)
- Patterns for Refinement Automation (Q3066119) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)