| Improving formal analysis of state machines with particular emphasis on and-cross transitions | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Case studies on automated verification with slope boundaries for block diagrams | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Achieving model quality through model validation, verification and exploration | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Special issue on quality in Model-Driven Engineering | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Personalized recommender systems for product-line configuration processes | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| A change-aware per-file analysis to compile configurable systems with #ifdefs | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| SDAC: A model for analysis of the execution semantics of data processing framework in cloud | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Software language engineering in the large: towards composing and deriving languages | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| A scalable model based approach for data model evolution: Application to space missions data models | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Automatic production of end user documentation for DSLs | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| FLANDM: a development framework of domain-specific languages for data mining democratisation | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| On transparent value-sensitive run-time monitoring for information flow policies | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| REDOSPLAT: A readable domain-specific language for timetabling requirements definition | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| QoSMOS: QoS metrics management tool suite | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| On domain driven design using annotation-based domain specific language | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Attributed and n-ary relations in OWL for knowledge modeling | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Automatized integration of a contextual model into a process with data variability | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Concern-oriented language development (COLD): Fostering reuse in language engineering | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Coding Ants: Optimization of GPU code using ant colony optimization | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| CIaaS - computational intelligence as a service with Athena | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Design and implementation of DeepDSL: A DSL for deep learning | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Using the local context for the definition and implementation of visual languages | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Supercombinator set acquired from context-free grammar samples | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Editorial Board | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Data access skipping for recursive partitioning methods | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Automated modelling assistance by integrating heterogeneous information sources | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| How do developers use dynamic features? The case of Ruby | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Automatic assessment of Java code | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| A process-oriented modeling approach for graphical development of mobile business apps | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| A two-phase software reliability modeling involving with software fault dependency and imperfect fault removal | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Aspect composition for multiple target languages using LARA | Computer languages, systems and structures | 201 days | save |  |  |  |  |
| Editorial Board | Computer languages, systems and structures | 201 days | save |  |  |  |  |
|  report | |
|