1. Scope and Regulations. 2. Course Objectives. 3. Competencies formed upon successful course completion

Transcription

1

2 . Scope and Regulations The course "Software Engineering: Development Management" ("Software Engineering" MS curriculum, st year) syllabus lays down minimum requirements for student s knowledge and skills; it also provides description of both contents and forms of training and assessment in use. The course is offered to students of the Master Program "Software Engineering" (area code ) in the Department of Software Engineering, Faculty of Computer Science of the National Research University "Higher School of Economics" (HSE). The course is a Research Seminar for M.Sc. curriculum, and it is a three-module course (semester A quartiles 2, semester B quartiles 3-4). The duration of the course amounts to 56 class periods divided into 2 Seminar (S) hours, and 76 hours of self-study. The syllabus is prepared for teachers responsible for the course (or closely related disciplines), teaching assistants, students enrolled on the course "Software Engineering: Development Management" as well as experts and statutory bodies carrying out assigned or regular accreditations in accordance with educational standards of the Federal State Autonomous Educational Institution for Higher Professional Education National Research University The Higher School of Economics" (HSE), MS curriculum ("System and Software Engineering", area code ), Software Development Management specialization, st year, academic year 2. Course Objectives The main objectives of mastering the "Software Engineering: Development Management" discipline are to: Provide students with basic knowledge in software product development; Lay the foundation for solving tasks in large-scale software projects development and information processing both in professional activities and in master thesis preparation; Get students familiar with the state-of-the-art models, methodologies, and technologies used for large-scale software system development and their implementations in software products; Teach students to apply the current IDEs, intended for practical large-scale software system development in team-based, interactive conditions. 3. Competencies formed upon successful course completion After successful course completion, the students should acquire certain competencies: Verify, compile, analyze and customize the research methods studied for their future practical application Suggest concepts, models, create and test new methods and tools for software development to be practically applied Master new research methods by self-study Analyze, and verify the completeness of information found elsewhere while doing software development, synthesize and add the information lacking if required Choose and develop methods of software product analysis based on general trends in software engineering Analyze, synthesize, optimize solutions for quality software product development Organize individual and team research Participate in projects based on systematic approach, build, apply and analyze models for describing and forecasting of software product development Evaluate and choose methodologies for software product development Apply state-of-the-art research-based software product development technologies, control software product quality 2

3 Make well-justified choice of technical and economical models for software development and maintenance Generate novel, and creative concepts, models, methods of software development and software products 4. The Course within the Program Framework The course is within the research seminar cycle. Number of credits: 8. The course is based on the students knowledge of mathematics, basics of information science, algorithm theory, and OOAD, and on modeling skills for methodological search of the solution. 5. Topic-Wise Course Contents Topic Name Course Hours, Total Audience Hours Lectures Practical Studies Introduction Object-based models for managing software development 3 Introduction into calculus of lambda conversions 4 Type management in software development 5 Modeling software systems with reduced variable sets 6 Object-based categories in software development 7 Modeling computations with domains Virtual machines modeling: idealized and real-world solutions 9 Lifecycle organization in managing development 0 Modeling software development stages Modeling software development processes Platforms for scalable software development 3 Modeling data-intensive software systems Managing large-scale software development in teams 5 CASE-based software development Models for managing complexity Self- Study 3

4 Topic Name 7 Multiple-assignment models for software development 8 Managing complex and versatile data in software development 9 Software integration models. Internet portals Course Hours, Total Audience Hours Lectures Practical Studies Self- Study Modeling custom problem domains Modeling problem domain semantics in software development 22 Models and tools for industry solutions Managing entrerprise software systems. Microsoft Dynamics 24 Industry-specific software development: principles, examples and practices Conclusion. Course Outcomes TOTAL Course Assessments Assessment Assessment Type Form Final Exam Week 6 Parameters ** 4 Written exam 80 mins, computer testing 40 mins 6.. Assessment Criteria Final Assessments: Exam at the end of Module 4. The computer test is to assess the core course content. It is done during the practical studies. The time limit is 40 mins. One (0-point scale) grade is given for the test. The intermediate module grade includes assessing current activities, such as group projects, oral answers, prototype development etc. The final exam implies detailed written answers for core course content topics (incl. solving a business case), and a computer testing. The test includes theoretical and practical items of the Modules 2-4 course content. The testing and business case are graded separately (0-point scale is used in each case) Course Evaluation One (0-point scale) grade is given for each assessment. Assessments Evaluation: 0-point grade for Module 2 (the cumulated grade): 4

5 M = 0.5*K + 0.5*T, where K is the (cumulated) testing grade; T is the (cumulated) grade for the intermediate activities in Module. 0-point grade for Module 3 (the cumulated grade): M2 = 0.5*K + 0.5*T, where K is the (cumulated) testing grade; T is the (cumulated) grade for the intermediate activities in Module2. 0-point grade for Module 4 (the cumulated grade): M3 = 0.5*K + 0.5*T, where K is the (cumulated) testing grade; T is the (cumulated) grade for the intermediate activities in Module3. The final course grade (FF): FF = 0.5*FM + 0.5*FM2 + 0.*FM *TE + 0.3*KE, where - FM is the final grade of Module (FM final grade of the module): FM = M; - FM2 is the final grade of Module 2 (FM final grade of the module): FM2 = M2; - FM3 is the final grade of Module 3 (FM final grade of the module): FM3 = M3; - KE is the grade for the written exam part (computer testing); - TE is the grade for the oral exam part. The second attempt of the exam (irrespective of the previous grades): FE = (0.5*TE + 0.5*KE)*0.8, FF = (0.5*TE + 0.5*KE)*0.8 For final and intermediate grades, the medium weighed grade is rounded up to the larger integer in case its fractal part is not less than 0.5, otherwise the grade is rounded down to the smaller integer. The 5-point intermediate and final grades are calculated as follows: If FF 8, then FF5 = 5 ( excellent ); If 6 FF < 8, then FF5 = 4 ( good ); If 4 FF < 6, then FF5 = 3 ( fair ); If FF < 4, then FF5 = 2 ( poor ). 7. Detailed Course Contents Introduction Course objectives and scope, structure and principles. Concepts of an enterprise, and of an information system. Enterprise examples. Approaches to enterprise application development. Information systems lifecycle. Major methodologies of software development. 5

6 Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Barendregt H. P. The Lambda Calculus, its Syntax and Semantics. North-Holland Co., Amsterdam, 98. 2nd (revised) edn Church A. Introduction to Mathematical Logic. Princeton Univ. Press, Princeton, New Jersey, U.S.A., 956. Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Curry H. B. and Feys R. Combinatory Logic, Volume I. North-Holland Co., Amsterdam, 958. (3rd edn. 974). Curry H. B., Hindley J. R., and Seldin J. P. Combinatory Logic, Volume II. North-Holland Co., Amsterdam, 972. Escalona M.J., Aragón G., Linger H., Lang M., Barry C., Schneider C.: Information System Development: Improving Enterprise Communication. Springer, 204, 542p. Peyton Jones S. The Implementation of Functional Programming Languages. Prentice-Hall, England, 987. Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Seldin J. P. Church and Curry: the lambda calculus and combinatory logic. In D. M. Gabbay and J. Woods, editors, Handbook of the History of Logic, volume 5. Elsevier Co., Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 6

7 Topic : Object-based models for managing software development Concepts of object and environment. Models and major approaches to development management. Software development lifecycle. Software development methodologies. Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 2: Introduction into calculus of lambda conversions Function in mathematics and programming. Lambda calculus evolution. Typeless lambda calculus of A.Church: alphabet, axioms, inference rules. Lambda calculus as a formal system, its strong and weak sides. Lambda calculus as a formal model for a programming language. Barendregt H. P. The Lambda Calculus, its Syntax and Semantics. North-Holland Co., Amsterdam, 98. 2nd (revised) edn A. Church. The Calculi of Lambda Conversion. Princeton Univ. Press, Princeton, New Jersey, U.S.A., 94. Reprinted Dybyg K. The Scheme Programming Language. Prentice-Hall, U.S.A., 996. McCarthy J. History of LISP. In R. Wexelblat, editor, History of Programming Languages, pages Academic Press and Association for Computing Machinery (A.C.M.), New York, 98. Also published in A.C.M. SIGPLAN Notices 3 (978), Peyton Jones S. The Implementation of Functional Programming Languages. Prentice-Hall, England, 987. Wadsworth C. P. Semantics and pragmatics of the lambda calculus. PhD thesis, Univ. Oxford, England, 97. Topic 3. Type management in software development Types in mathematics and programming. Combinator as a functional program object. Type assignment to functions and variables. Basic and derived types in a functional program. Type disciplines. Type checking. Types, their strong and weak sides. Cardelli L. and Wegner P. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 7:47 522, 985. Curry H. B. and Feys R. Combinatory Logic, Volume I. North-Holland Co., Amsterdam, 3rd edn., 974. Leivant D. Polymorphic type inference. In Tenth Annual A.C.M. Symposium on the Principles of Programming Languages (POPL), pages Milner R. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 7: , 978. Wand M. A simple algorithm and proof for type inference. Fundamenta Informaticae, 0:5 22,

8 Topic 4. Modeling software systems with reduced variable sets Combinator definition. Modeling software systems with reduced variable sets: alphabet, axioms, inference rules. Combinator examples. Basic combinators. Basis in combinatory logic. Type assignment to combinators. Type inference. Examples of functions for types in a functional program. Curry H. B. and Feys R. Combinatory Logic, Volume I. North-Holland Co., Amsterdam, 3rd edn., 974. Hindley J. R. and Seldin J. P., editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 980. Hindley J. R., Lercher B., and Seldin J. P. Introduction to Combinatory Logic. Cambridge Univ. Press, England, 972. Leivant D. Polymorphic type inference. In Tenth Annual A.C.M. Symposium on the Principles of Programming Languages (POPL), pages Milner R. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 7: , 978. Wand M. A simple algorithm and proof for type inference. Fundamenta Informaticae, 0:5 22, 987. Topic 5. Object-based categories in software development Concept of category. Foundations of categorical combinatory logic. Category-based abstract machines. Ideal abstract machines. State-based abstract machines. P.Lndin's SECD-abstract machines. Categorical abstract machine (CAM). Asperti A. and Longo G. Categories, Types and Structures. An Introduction to Category Theory for the Working Computer Scientist. Foundations of Computing. M.I.T. Press, Cambridge, Mass., U.S.A., 99. Cousineau G., P.-L. Curien, and M. Mauny. The categorical abstract machine. Science of Computer Programming, 8:73 202, 987. Hindley J. R. and Seldin J. P., editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 980. Lambek J. From λ-calculus to Cartesian closed categories. In Hindley J. R. and Seldin J. P., editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 980, P. J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6: , 964. Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 6. Modeling computations with domains Function in mathematics and programming. Domains. D.Scott's computation theory: foundations. Lattice theory: a graph interpretation for computation theory. Abramsky S. and Jung A. Domain theory. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 68. Clarendon Press, Oxford, England, 994. Peyton Jones S. The Implementation of Functional Programming Languages. Prentice-Hall, England,

9 Scott D. S. Lattice theory, data types and semantics. In R. Rustin, editor, Formal Semantics of Programming Languages, pages Prentice Hall, Englewood Cliffs, N.J., U.S.A., 970. Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Stoy J. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, Cambridge, Mass., U.S.A., 977. Wadsworth C. P. The relation between computational and denotational properties for Scott s D models of the lambda-calculus. SIAM Journal of Computing, 5:488 52, 976. Topic 7. Virtual machines modeling: idealized and real-world solutions Translating a functional program into CAM code. De Brujin coding of lambda terms. De Brujin code translation into categorical combinatory logic terms. CAM language syntax and semantics. CAM work cycle. CAM and.net virtual machine. Cousineau G., P.-L. Curien, and M. Mauny. The categorical abstract machine. Science of Computer Programming, 8:73 202, 987. Curien P.-L. Categorical Combinators, Sequential Algorithms and Functional Programming. 2nd edn., Birkh auser, U.S.A., 993. Curien P.-L. Typed categorical combinatory logic. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Mathematical Foundations of Software Development, Proceedings 985, Volume, CAAP 85, volume 85 of Lecture Notes in Computer Science, pages Springer-Verlag, Berlin, 985. Lambek J. From λ-calculus to Cartesian closed categories. In Hindley J. R. and Seldin J. P., editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 980, P. J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6: , 964. Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 8. Lifecycle organization in managing development Software lifecycle stages (requirement analysis and specification, preliminary and detailed design, implementation, testing, maintenance). Software development lifecycle economnics (total cost, costs breakdown, metrics, tools). Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Topic 9. Modeling software development stages Build-and-Fix model. Waterfall model. Rapid prototyping model. Incremental model. Synchronization and stabilization model. Spiral model. OO-model. Benefits and shortcomings of the models. 9

10 Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Topic 0. Modeling software development processes Microsoft Solution Framework processes. MSF relation to synchronization and stabilization model. RUP processes. RUP relation to spiral model. Agile processes. Benefits and shortcomings of the methodologies. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Topic. Platforms for scalable software development Organization principles and operation models. Tools and technologies (type system, computational environment, web services, components, interoperability). Applications integration. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Box D. Essential.NET, Vol.: The Common Language Runtime. Addison Wesley, 2002, 432 Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Grimes F. Microsoft.NET for Programmers. Manning Publications, 2002, 386 Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Nathan A..NET and COM: The Complete Interoperability Guide. Sams, 2002, 608 Topic 2. Modeling data-intensive software systems Data in software development. Data models. Heterogeneous data management issues. Dynamical data modeling. Data modeling for versatile application categories. 0

11 Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cardelli L. and Wegner P. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 7:47 522, 985. Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 p. Topic 3. Managing large-scale software development in teams Managing large-scale software development in teams with MSF. Team development with synchronization and stabilization model. Tools to assist in team development. Roles in project team. Automation in role delegation and team development management. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Topic 4. CASE-based software development Models for managing software development. Software product metrics. Classification and purpose of CASE tools. CASE tools relation to software development stages. Software development process requirements. Project team qualification requirements. CASE tool benefits. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Topic 5. Models for managing complexity Object modeling theories. Technologies for software development. Data representation models. Data management models. Heterogeneous software integration methods. Tools for heterogeneous software development. Tools for content management. Component development as OOP extention..net architecture overview. Assembly and manifest in.net. Namespaces in.net. Heterogeneous software development: tools and technologies.

12 Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Gunter C. and Mitchell J. C. Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design. M.I.T. Press, Cambridge, Mass., U.S.A., 994. Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, 744 Troelsen A. Pro C# 5.0 and the.net 4.5 Framework, Apress, 202, 487 Topic 6. Multiple-assignment models for software development Conceptualization. Conceptual models. Applying functional models to conceptualization. Using custom CASE tools for conceptualization. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 7. Managing complex and versatile data in software development Content. Object dynamics in the computational environment. CASE-based tools for content management. Modeling and managing content: features and issues. «Rich» content: heterogeneity, dynamics, contents. Content managing tools: purposes and classification. Silverlight technology: features and issues for software development and content management. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Gunter C. and Mitchell J. C. Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design. M.I.T. Press, Cambridge, Mass., U.S.A., 994. Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 8. Software integration models. Internet portals Internet portals. Portal development foundations. Building and deploying e-commerce applications. Data and application integration management based on Microsoft Dynamics. 2

13 Managing software security. Managing software usability. Microsoft Dynamics: setting up and customization. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Topic 9. Modeling custom problem domains Domains. D.Scott's computational theory: foundations. Domain theory extensions. Domain specific languages. Domain-oriented CASE tools. Benefits of domain-oriented CASE tools for modeling and managing software development. Abramsky S. and Jung A. Domain theory. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 68. Clarendon Press, Oxford, England, 994. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Scott D. S. Lattice theory, data types and semantics. In R. Rustin, editor, Formal Semantics of Programming Languages, pages Prentice Hall, Englewood Cliffs, N.J., U.S.A., 970. Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Stoy J. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, Cambridge, Mass., U.S.A., 977. Topic 20. Modeling problem domain semantics in software development Problem domain semantics. Frame theory. Tools for modeling problem domain semantics. Using semantic networks to visualize problem domains in software development. Abramsky S. and Jung A. Domain theory. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 68. Clarendon Press, Oxford, England, 994. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Stoy J. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, Cambridge, Mass., U.S.A., 977. Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, 62 Topic 2. Models and tools for industry solutions 3

14 Problem domains classification and features. Classification and structure of CASE tools. Functional features of software development tools. Using Microsoft Solution Framework methodology for software development. Using synchronization and stabilization model for design and implementation. Novel approaches, tools and models, and their possible applications. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Topic 22. Managing entrerprise software systems. Microsoft Dynamics Microsoft Dynamics platform outline and structure. Distribution management. Supply cahin and project management. Financial management solutions. Business analysis technologies. Customer relationship management. HR management in software development. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Topic 23. Industry-specific software development: principles, examples and practices Oil-and-gas-industry features (complexity, heterogeneity, dynamics). Office extensions for application development. Using web services. Enterprise databases development. Secure software development principles. Data and application integration principles. Other industries (banks, telecommunications, automobile production, logistics). Principles and practices of models application. Industry solution examples and issues. Financial and banking solutions. Using Microsoft Dynamics for retail networks. Region and industry solutions: overview. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 4

15 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Topic 24. Conclusion. Course Outcomes Final survey of models and methods for managing software development. The MSF methodology and.net platform applicability to managing software development: strong and weak points. Innovative models, technologies and tools to be added to the MSF and.net. Prospects of methodologies, models and tools for managing software development. Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Learning Technologies Every class includes team-based case study, typical for state-of-the-art software systems modeling. Thus, every class is an interactive master class in a certain topic of the course. The test-based assignments are used to tech students and to provide intermediate and final milestones. The LMS system is used to store the course materials and learning progress results. 9. Assessment Tools for Course Evaluation 9.. Intermediate Assessment Topics (optional) Written Test topics:. Software models and lifecycle 2. Methodologies and architectures for software applications development 3. Modeling data-intensive software systems in software applications development 4. CASE tools for software development 5. The Microsoft.Net platform, its key technologies, services and class libraries 6. Component approach and team development 7. Internet portals. Homework Topics: Justified choice of lifecycle model, methodologies, technologies, architectures and CASE tools for software development; Modeling certain elements of software development. 5

16 0. Courseware Readings and Reference Materials 0.. Basic Reader Avison D., Fitzgerald G.: Information Systems Development: Methodologies, Techniques and Church A. Introduction to Mathematical Logic. Princeton Univ. Press, Princeton, New Jersey, U.S.A., 956. Curry H. B., Hindley J. R., and Seldin J. P. Combinatory Logic, Volume II. North-Holland Co., Amsterdam, 972. Pressman, R.S., Maxim B.R. Software Engineering: A Practitioner's Approach, 8th ed., McGraw- Schach S.R.: Object-Oriented and Classical Software Engineering (5 ed.) McGraw-Hill, 200, Reference Books Barendregt H. P. The Lambda Calculus, its Syntax and Semantics. North-Holland Co., Amsterdam, 98. 2nd (revised) edn Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design, Implementation and Sommerville I. Software Engineering (8th Edition). Pearson Education Ltd., 2008, 850 Wolfengagen V.E. Applicative Computing. Its Quarks, Atoms and Molecules, M.:Jurinfo-R, 200, Additional Readings and References Abramsky S. and Jung A. Domain theory. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 68. Clarendon Press, Oxford, England, 994. Cousineau G., P.-L. Curien, and M. Mauny. The categorical abstract machine. Science of Computer Programming, 8:73 202, 987. Curien P.-L. Categorical Combinators, Sequential Algorithms and Functional Programming. 2nd edn., Birkh auser, U.S.A., 993. Curien P.-L. Typed categorical combinatory logic. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Mathematical Foundations of Software Development, Proceedings 985, Volume, CAAP 85, volume 85 of Lecture Notes in Computer Science, pages Springer-Verlag, Berlin, 985. Escalona M.J., Aragón G., Linger H., Lang M., Barry C., Schneider C.: Information System Development: Improving Enterprise Communication. Springer, 204, 542p. Lambek J. From λ-calculus to Cartesian closed categories. In Hindley J. R. and Seldin J. P., editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 980, P. J. Landin. The mechanical evaluation of expressions. The Computer Journal, 6: , 964. Peyton Jones S. The Implementation of Functional Programming Languages. Prentice-Hall, England, 987. Scott D. S. Lattice theory, data types and semantics. In R. Rustin, editor, Formal Semantics of Programming Languages, pages Prentice Hall, Englewood Cliffs, N.J., U.S.A.,

17 Scott D. S. Lectures on a mathematical theory of computation. In M. Broy and G. Schmidt, editors, Theoretical Foundations of Programming Methodology. D. Reidel Co., Dordrecht, Netherlands, 982. Stoy J. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. M.I.T. Press, Cambridge, Mass., U.S.A., Reference Books, Dictionaries, Encyclopedia MSDN Software To successfully master the course, the students use the following software items (the minimum version numbers required are listed): Microsoft Visual Studio 200 (.NET Framework 3.5) Microsoft Visual C# 200 Express Edition Microsoft Visual Studio 200 Team Suite Microsoft Office 200 Microsoft SQL Server 200 Microsoft Dynamics CRM Distant Learning The distant learning of the course is supported by the LMS system. The LMS courseware contains lecture notes, seminar materials, self-preparation tests, as well as intermediate and final assessments.. Technical Support OHP for lectures and classes, computer classes for seminars with Microsoft Visual Studio 200 software (or any newer version) pre-installed. Author of the syllabus: Sergey V. Zykov 7