From domain to requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5065 LNCS, Issue , 2008, Pages 278-300

  Bjørner, Dines ^a,b,c  

^a UNIVERSITÉ DE LORRAINE   (France)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^c NONE   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; INFERENCE ENGINES; LAWS AND LEGISLATION;

DOMAIN DESCRIPTION; DOMAIN ENGINEERING (DE); DOMAIN REQUIREMENTS; HARDWARE AND SOFTWARE; HEIDELBERG (CO); RULES AND REGULATIONS; SPRINGER (CO);

COMPUTER SOFTWARE REUSABILITY;

EID: 45849085025     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_18     Document Type: Conference Paper

References (4)

1. Bjørner, D.: Software Engineering: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series, vol. 3. Springer, Heidelberg (2006)
2. Bjørner, D.: Domain Theory: Practice and Theories, Discussion of Possible Research Topics. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 1-17. Springer, Heidelberg (2007)
3. Bjørner, D.: Domain Engineering. In: Boca, P., Bowen, J. (eds.) BCS FACS Seminars, London, UK. Lecture Notes in Computer Science, the BCS FAC Series, pp. 1-42. Springer, Heidelberg (to appear, 2008)
4. Jackson, M.A.: Problem Frames -Analyzing and Structuring Software Development Problems. Addison-Wesley Longman Publishing Co., Inc, Boston, MA (2001)