Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Main Entry:
Combemale, Benoît. editor.
Pearce, David J. editor.
Barais, Olivier. editor.
Vinju, Jurgen J. editor.
SpringerLink (Online service)
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Date:
2014.
Publication Place:
Cham :
ISBN:
9783319112459
Subject:
Computer science.
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Artificial intelligence.
Computer simulation.
Management information systems.
Computer science.
Programming Languages, Compilers, Interpreters.
Software engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
Management of Computing and Information Systems.
Series:
Lecture Notes in Computer Science, 8706
Lecture notes in computer science, 8706
Contents:
ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper).
Related Records:
Springer eBooks
Printed edition: 9783319112442
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
No Circulation
Available Online
-708958
Book