Critically analyse and use complex decision making

Assignment Help Other Subject
Reference no: EM133693349

Software Engineering Methodologies

Assignment - Formal System Specification

Overview
The purpose of this assessment is to provide students with the opportunity to apply knowledge and skills developed during the semester with reference to the formal specification of a system through the use of Z notation. Students complete the assignment in groups of two or three.

As described in this unit's third study guide, Software Analysis, Modelling and Specification, a Formal Specification (Technique) is one that has a rigorous mathematical basis and one of its advantages is that it can bemathematically checked for completeness. The unit's fourth study guide, System and Software Design, also states that by using formal methods it is possible to derive a formal design from a formal specification and then beable to prove that the design and specification are functionally equivalent.

Your text, Software Engineering: A Practitioners Approach (Pressman, 2010) indicates that formal methods provide frameworks that allow people to specify, develop and verify systems in a structured and systematic way and that the mathematical based specification language used in formal methods ensures a greater chance of consistency, completeness, and lack of ambiguity in a specification. Pressman also discusses formal specification languages and their common components - syntax, semantics and sets of relations. Of the four formal specification languages he identifies - OCL, LARCH, VDM and Z - he provides useful discussion with respect to OCL and Z.

In this assignment, you will use the Z specification language to provide the sets, relations, and functions in schemas to specify a subsystem relating to the theme of the smart campus. Your group can choose the subsystem based on previous work each member has already completed. Your schemas should provide the stored data that the system accesses and alters and identify the operations that are applied to change the state as well as the relationships that occur within the system. Remember, as specified in Spivey's 2001 text, The Z Notation: A Reference Manual, schemas are utilized to illustrate both static and dynamic aspects of a system. Static aspects include such things as the states a system occupies and the invariant relationships that continue to exist as the system moves between states. Dynamic aspects include the changes of state that occur, possible operations and the relationships betweentheir inputs and outputs. Remember also you should always be conscious of the fact that a specification tries to describe what the system must do without saying how it is to be done (Spivey, 2001).

Keep all the above in mind as you read the following information. You are required to create a set of Z schema that adequately describes the requirements of your chosen subsystem. Your assignment should include at least two state spaces and provide schemas for the prescribed functions (including error handling) described below.

Learning Outcome 1: Critically analyse and use complex decision making to research and determine the appropriate Software Engineering tools and methodologies to utilize in a given situation

Learning Outcome 2: Apply professional communication skills to support and manage the engineering of a large software system

Learning Outcome 3: Review, critically analyse and develop artefacts to define processes for quality assurance, risk management and communication in large software development projects

Learning Outcome 4: Implement quality assurance activities in order to verify user requirements and validate design decisions

Learning Outcome 5: Analysis of a large system development problem to decide upon the best methodological approach

Learning Outcome 6: Development of appropriate artefacts to support and manage the software engineering process such as change control and configuration management

Requirements
Demonstrate an understanding of concepts covered in lectures, tutorials, laboratories and reading to provide the specification requested. This may require further reading and research beyond the material discussed inclass.

Assessable Tasks/Requirements
You are to provide both a brief written description of your requirements and create a set of Z schemas that adequately describes the subsystem formally. It should include at least two state spaces and at least 4 operations for each state space.
Each group member must individually write at least 3-4 operations. The group should also write initialization operations for each state space.
You should provide robust versions of each operation that can handle any possible error conditions.

You should also add a narrative to explain any schemas or logic that you have used. Authorship should be made clear. You might be asked to explain and answer questions about your work.

References
Pressman, R.S. (2010). Software Engineering: A Practitioners Approach

Reference no: EM133693349

Questions Cloud

Describe the characteristics of the population studied : Describe the characteristics of the population studied. Was a probability sampling method used? Was it representative of the population?
What important information do you assess the eoc be seeking : Remembering that the EOC is supporting the incident, what important information do you assess the EOC should be seeking for this incident?
Write essay difference between interrogation and interview : Write essay on difference between interrogation and interview. Give your opinion on whether techniques used during the Bush administration was justified or not.
Discuss the case study must focus on public administration : Discuss the actual case study must focus on a real-world public administration situation that is being discussed and analyzed in the chosen article.
Critically analyse and use complex decision making : ITECH7410 Software Engineering Methodologies, Federation University - Critically analyse and use complex decision making to research and determine
Identify ten source that are relevant to public policy issue : PADM 700- Identify at least ten sources that are relevant to a public policy issue that you may be interested in researching for your dissertation.
Discuss the future threats of middle east terror groups : Discuss the future threats of Middle East terror groups. Be sure to address future threats from al Qaeda and ISIS from a homeland security perspective.
Implications of applications at the financial institution : Assess possible ethical and privacy implications of the applications at the financial institution at which you are imagining that you work
What is the representatives political party affiliation : POS 2041- What is the representative's political party affiliation? What legislative district does this Representative serve?

Reviews

len3693349

5/14/2024 2:06:28 AM

his one is report with group of 2 in this also must mention individual contributions

Write a Review

Other Subject Questions & Answers

  Cross-cultural opportunities and conflicts in canada

Short Paper on Cross-cultural Opportunities and Conflicts in Canada.

  Sociology theory questions

Sociology are very fundamental in nature. Role strain and role constraint speak about the duties and responsibilities of the roles of people in society or in a group. A short theory about Darwin and Moths is also answered.

  A book review on unfaithful angels

This review will help the reader understand the social work profession through different concepts giving the glimpse of why the social work profession might have drifted away from its original purpose of serving the poor.

  Disorder paper: schizophrenia

Schizophrenia does not really have just one single cause. It is a possibility that this disorder could be inherited but not all doctors are sure.

  Individual assignment: two models handout and rubric

Individual Assignment : Two Models Handout and Rubric,    This paper will allow you to understand and evaluate two vastly different organizational models and to effectively communicate their differences.

  Developing strategic intent for toyota

The following report includes the description about the organization, its strategies, industry analysis in which it operates and its position in the industry.

  Gasoline powered passenger vehicles

In this study, we examine how gasoline price volatility and income of the consumers impacts consumer's demand for gasoline.

  An aspect of poverty in canada

Economics thesis undergrad 4th year paper to write. it should be about 22 pages in length, literature review, economic analysis and then data or cost benefit analysis.

  Ngn customer satisfaction qos indicator for 3g services

The paper aims to highlight the global trends in countries and regions where 3G has already been introduced and propose an implementation plan to the telecom operators of developing countries.

  Prepare a power point presentation

Prepare the power point presentation for the case: Santa Fe Independent School District

  Information literacy is important in this environment

Information literacy is critically important in this contemporary environment

  Associative property of multiplication

Write a definition for associative property of multiplication.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd