Filter by
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- Collation
- -
- Series Title
- -
- Call Number
- -
A Global History of Ideas in the Language of Law
This book argues that the narrowing focus of the global history of ideas on narratives in historical research, philosophy and political theory neglects the fact that the central concepts of the history of political ideas are articulated in the language of law. Key figures of the history of ideas, like Kant, Hegel and Weber, engaged deeply with the philosophy and sociology of law. This monograph…
- Edition
- -
- ISBN/ISSN
- 9783944773315
- Collation
- -
- Series Title
- -
- Call Number
- -
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
A Featural Typology of Bantu Agreement
The Bantu languages are in some sense remarkably uniform (SVO basic word order, noun classes, verbal morphology), but this extensive language family also show a wealth of morphosyntactic variation. Two core areas in which such variation is attested are subject and object agreement. The book explores the variation in Bantu subject and object marking on the basis of data from 75 Bantu languages, …
- Edition
- -
- ISBN/ISSN
- 9780198844280
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Aspect-Oriented Software Development XII
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and com…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46734-3
- Collation
- -
- Series Title
- -
- Call Number
- -
A Dictionary and Grammatical Outline of Chakali
This book is the first comprehensive monograph dedicated to Chakali, a Southwestern Grusi language spoken by less than 3500 people in northwest Ghana. The dictionary offers a consistent description of word meaning and provides the basis for future research in the linguistic area. It is also designed to provide an inventory of correspondence with English usage in a reversal index. The concepts u…
- Edition
- -
- ISBN/ISSN
- 9783944675923
- Collation
- -
- Series Title
- African Language Grammars and Dictionaries
- Call Number
- 400 BRI d
Formalizing Data-Centric Web Services
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24678-9
- Collation
- XIII, 131 pages
- Series Title
- Web-Scale Workflow and Analytics
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography