JBoss

swMATH21835MaRDI QIDQ33635FDOQ33635

Author name not available (Why is that?)

Official website: https://developers.redhat.com/products/eap/overview/

Cited In (30)

• 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
• Automatic derivation of domain terms and concept location based on the analysis of the identifiers
• 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
• Rete network slicing for model queries
• Coupling metrics for aspect-oriented programming: a systematic review of maintainability studies
• Verifying the consistency of web-based technical documentations
• AspectJ
• AspectWerkz
• Automation of service-based security-aware business processes in the cloud
• SPY
• Activiti
• Axis2
• BPMN2
• Frag
• Statically safe program generation with SafeGen
• Jiazzi
• A gentle introduction to multiparty asynchronous session types
• A Branding Strategy for Business Types
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• Applied Choreographies

This page was built for software: JBoss