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