The design of requirements modelling languages : How to make formalisms for problem solving in requirements engineering /

The design of requirements modelling languages : How to make formalisms for problem solving in requirements engineering /

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 requir...

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Jureta, Ivan (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	eBook
Langue:	English
Publié:	Cham Springer International Publishing 2015.
Édition:	1st ed. 2015.
Sujets:	Computer science. Software engineering. Computer logic. Mathematical logic. Artificial intelligence.
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From Requirements to Java in a Snap : Model-Driven Requirements Engineering in Practice /
par: Śmiałek, Michał, et autres
Publié: (2015)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Publié: (2011)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Publié: (2012)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
par: Moot, Richard
Publié: (2012)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Publié: (2013)

Conceptual modelling and its theoretical foundations: Essays dedicated to bernhard thalheim on the occasion of his 60th birthday /
Publié: (2012)

Model checking and artificial intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Publié: (2007)

Logical tools for handling change in agent-based systems /
par: Gabbay, Dov M., 1945-
Publié: (2010)

Logic-based artificial intelligence /
Publié: (2000)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Publié: (2007)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publié: (2012)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Publié: (2013)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Publié: (2012)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Publié: (2009)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
par: Baader, Franz
Publié: (2005)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Publié: (2005)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Publié: (2010)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Publié: (2010)

Algebraic methodology and software technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Publié: (2011)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Publié: (2010)

Automated deduction - CADE-20 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
par: Nieuwenhuis, Robert
Publié: (2005)

Automated deduction - CADE-21 21st International Conference on automated deduction Bremen, Germany, July 17-20, 2007 Proceedings /
par: Pfenning, Frank
Publié: (2007)

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
par: Schneider, Klaus, 1967-
Publié: (2007)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Publié: (2007)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
Publié: (2007)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Publié: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Publié: (2014)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Publié: (2014)

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Publié: (2014)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publié: (2013)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Publié: (2013)

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Publié: (2010)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Publié: (2010)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
Publié: (2010)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Publié: (2010)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Publié: (2010)