Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200
Book Description
Proceedings of the 2nd Conference on Domain-Specific Languages (DSL '99)
Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 200
Book Description
Index of Conference Proceedings
Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 836
Book Description
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 836
Book Description
Domain-Specific Program Generation
Author: Christian Lengauer
Publisher: Springer Science & Business Media
ISBN: 3540221190
Category : Computers
Languages : en
Pages : 336
Book Description
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization
Publisher: Springer Science & Business Media
ISBN: 3540221190
Category : Computers
Languages : en
Pages : 336
Book Description
Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization
Foundations of Information Technology in the Era of Network and Mobile Computing
Author: Ricardo Baeza-Yates
Publisher: Springer
ISBN: 0387356088
Category : Computers
Languages : en
Pages : 624
Book Description
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.
Publisher: Springer
ISBN: 0387356088
Category : Computers
Languages : en
Pages : 624
Book Description
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.
Cooperative Design, Visualization, and Engineering
Author: Yuhua Luo
Publisher: Springer Science & Business Media
ISBN: 3540231498
Category : Computers
Languages : en
Pages : 256
Book Description
This book constitutes the refereed proceedings of the First International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2004, held in Palma de Mallorca, Spain, in September 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all current issues in cooperative design, visualization, and engineering, ranging from theoretical and methodological topics to various systems and frameworks to applications in a variety of fields.
Publisher: Springer Science & Business Media
ISBN: 3540231498
Category : Computers
Languages : en
Pages : 256
Book Description
This book constitutes the refereed proceedings of the First International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2004, held in Palma de Mallorca, Spain, in September 2004. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all current issues in cooperative design, visualization, and engineering, ranging from theoretical and methodological topics to various systems and frameworks to applications in a variety of fields.
Domain-Specific Languages
Author: Walid Mohamed Taha
Publisher: Springer
ISBN: 3642030343
Category : Computers
Languages : en
Pages : 420
Book Description
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the ?eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. – They relate to a well-de?ned domain of discourse, be it controlling tra?c lights or space ships. – They have well-de?ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. – The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di?erent notations that may be received very di?erently by users. – The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.
Publisher: Springer
ISBN: 3642030343
Category : Computers
Languages : en
Pages : 420
Book Description
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the ?eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. – They relate to a well-de?ned domain of discourse, be it controlling tra?c lights or space ships. – They have well-de?ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. – The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di?erent notations that may be received very di?erently by users. – The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.
Proceedings
Author:
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 588
Book Description
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 588
Book Description
Integrated Formal Methods
Author: Judi M.T. Romijn
Publisher: Springer
ISBN: 354032240X
Category : Computers
Languages : en
Pages : 416
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Publisher: Springer
ISBN: 354032240X
Category : Computers
Languages : en
Pages : 416
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming (ICFP '02)
Author:
Publisher: Pearson Education
ISBN: 9781581134872
Category : Computer science
Languages : en
Pages : 298
Book Description
Publisher: Pearson Education
ISBN: 9781581134872
Category : Computer science
Languages : en
Pages : 298
Book Description
Proceedings of the 34th Annual Hawaii International Conference on System Sciences
Author: Ralph H. Sprague, Jr.
Publisher:
ISBN: 9780769509815
Category : Computers
Languages : en
Pages : 408
Book Description
Annotation Contains abstracts of 440 papers presented at the January 2001 conference in nine major tracks. The session topics are collaboration systems and technology, complex systems, decision technologies for management, digital documents, emerging technologies, information technology in health care, Internet and the digital economy, organizational systems and technology, and software technology. Subject headings within the sessions include asynchronous learning networks, intelligent systems in traffic and transportation, e- government, telemedicine, web engineering, community informatics, trends in outsourcing of information systems, mobile computing and wireless networks, and domain-specific languages for software engineering. No subject index. The CD-ROM contains the complete papers in Abode Acrobat format. The disc is of a hybrid structure that allows access from PCs, Macintosh, and UNIX. Annotation copyrighted by Book News, Inc., Portland, OR.
Publisher:
ISBN: 9780769509815
Category : Computers
Languages : en
Pages : 408
Book Description
Annotation Contains abstracts of 440 papers presented at the January 2001 conference in nine major tracks. The session topics are collaboration systems and technology, complex systems, decision technologies for management, digital documents, emerging technologies, information technology in health care, Internet and the digital economy, organizational systems and technology, and software technology. Subject headings within the sessions include asynchronous learning networks, intelligent systems in traffic and transportation, e- government, telemedicine, web engineering, community informatics, trends in outsourcing of information systems, mobile computing and wireless networks, and domain-specific languages for software engineering. No subject index. The CD-ROM contains the complete papers in Abode Acrobat format. The disc is of a hybrid structure that allows access from PCs, Macintosh, and UNIX. Annotation copyrighted by Book News, Inc., Portland, OR.