Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- computernetwerken
Choose an application
Generative programming (Computer science) --- Component software --- Software engineering --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Management information systems. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Management of Computing and Information Systems. --- Computer programming --- Computer software --- Information Systems. --- Informatics --- Science --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Communication systems --- Generative programming (Computer science) - Congresses --- Component software - Congresses --- Software engineering - Congresses
Choose an application
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.
Computer software --- Model-driven software architecture --- Engineering & Applied Sciences --- Computer Science --- Development --- Information Technology --- Software Engineering --- MDA (Model-driven software architecture) --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Computer Communication Networks. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Programming --- Distributed processing --- Software architecture --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- computernetwerken
Choose an application
Welcome to the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE) held in October 2021 as part of SPLASH 2021. This is the second fully online edition of SLE due to the effects of COVID-19.
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Listing 1 - 10 of 14 | << page >> |
Sort by
|