Open Save New
FeedNavigator / National Library of Health Sciences
 
  
AddComputer languages, systems and structures


»My Articles

»Latest Feeds

»Popular Feeds
Search Feed Catalog by Name:
Improving formal analysis of state machines with particular emphasis on and-cross transitionsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Case studies on automated verification with slope boundaries for block diagramsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statementsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Achieving model quality through model validation, verification and explorationComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Special issue on quality in Model-Driven EngineeringComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Personalized recommender systems for product-line configuration processesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
A change-aware per-file analysis to compile configurable systems with #ifdefsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
SDAC: A model for analysis of the execution semantics of data processing framework in cloudComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Software language engineering in the large: towards composing and deriving languagesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
A scalable model based approach for data model evolution: Application to space missions data modelsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Automatic production of end user documentation for DSLsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
FLANDM: a development framework of domain-specific languages for data mining democratisationComputer languages, systems and structures614 dayssaveRefWorksSFX Info
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case studyComputer languages, systems and structures614 dayssaveRefWorksSFX Info
On transparent value-sensitive run-time monitoring for information flow policiesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
REDOSPLAT: A readable domain-specific language for timetabling requirements definitionComputer languages, systems and structures614 dayssaveRefWorksSFX Info
QoSMOS: QoS metrics management tool suiteComputer languages, systems and structures614 dayssaveRefWorksSFX Info
On domain driven design using annotation-based domain specific languageComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Attributed and n-ary relations in OWL for knowledge modelingComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Automatized integration of a contextual model into a process with data variabilityComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Concern-oriented language development (COLD): Fostering reuse in language engineeringComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Coding Ants: Optimization of GPU code using ant colony optimizationComputer languages, systems and structures614 dayssaveRefWorksSFX Info
CIaaS - computational intelligence as a service with AthenaComputer languages, systems and structures614 dayssaveRefWorksSFX Info
SAwUML – UML-based, contractual software architectures and their formal analysis using SPINComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Design and implementation of DeepDSL: A DSL for deep learningComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Using the local context for the definition and implementation of visual languagesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Supercombinator set acquired from context-free grammar samplesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Editorial BoardComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Data access skipping for recursive partitioning methodsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory ModelsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Automated modelling assistance by integrating heterogeneous information sourcesComputer languages, systems and structures614 dayssaveRefWorksSFX Info
How do developers use dynamic features? The case of RubyComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Automatic assessment of Java codeComputer languages, systems and structures614 dayssaveRefWorksSFX Info
A process-oriented modeling approach for graphical development of mobile business appsComputer languages, systems and structures614 dayssaveRefWorksSFX Info
A two-phase software reliability modeling involving with software fault dependency and imperfect fault removalComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Aspect composition for multiple target languages using LARAComputer languages, systems and structures614 dayssaveRefWorksSFX Info
Editorial BoardComputer languages, systems and structures614 dayssaveRefWorksSFX Info
 XML / RSS feed
report