JBoss
From MaRDI portal
Software:33635
No author found.
Related Items (22)
Applied Choreographies ⋮ Unnamed Item ⋮ Rete Network Slicing for Model Queries ⋮ A Branding Strategy for Business Types ⋮ Automation of service-based security-aware business processes in the cloud ⋮ Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution ⋮ A distributable security management architecture for enterprise systems spanning multiple security domains ⋮ The HeKatE methodology. Hybrid engineering of intelligent systems ⋮ In-process agent simulation for early stages of hospital planning ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Verifying the consistency of web-based technical documentations ⋮ Architectural refactoring of corporate program systems ⋮ DSOL: a declarative approach to self-adaptive service orchestrations ⋮ Statically safe program generation with SafeGen ⋮ Unnamed Item ⋮ Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies ⋮ CHR for Imperative Host Languages ⋮ An Overview of CaesarJ ⋮ An Expressive Aspect Language for System Applications with Arachne ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Tailorable language for behavioral composition and configuration of software components ⋮ Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
This page was built for software: JBoss
