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
- 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
- Automation of service-based security-aware business processes in the cloud
- Statically safe program generation with SafeGen
- 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
