Specifikace požadavků na softwarový produkt - NSWI028

• Anglický název: Software requirements specification
• Zajišťuje: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2018
• Semestr: letní
• E-Kredity: 2
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: http://d3s.mff.cuni.cz/teaching/nswi028
• Garant: prof. Ing. Petr Kroha, Dr., CSc.
• Třída: Informatika Mgr. - Softwarové systémy
• Kategorizace předmětu: Informatika > Informatika, Aplikační software, Počítačová grafika a geometrie, Databázové systémy, Didaktika informatiky, Diskrétní matematika, Předměty širšího základu, Předměty obecného základu, Počítačová a formální lingvistika, Optimalizace, Programování, Softwarové inženýrství, Teoretická informatika

Anotace

čeština

Poslední úprava: Tajemník Katedry (30.04.2012)

Specifikace požadavků na vlastnosti softwarového produktu je první a základní krok jeho vývoje. Chyby a nedorozumění vznikající v této fázi jsou kritické, jejich pozdější oprava je velmi drahá. Chyby ve specifikacích jsou nejčastější příčinou neúspěchu celého projektu. Cíl semináře je seznámit studenty s problematikou a připravit zájemce na vypracování jejich magisterských prací v tomto oboru. Téma semináře souvisí s výzkumným projektem, který tým katedry řeší.

angličtina

Poslední úprava: Tajemník Katedry (30.04.2012)

Software requirements specification is the first and basic step in its development. Mistakes and misunderstandings in this phase are considered critical; their later fix is very expensive. Errors in the specification are the most common cause of project failures. The goal of the seminar is to describe the problems around specification of software systems and prepare the students for writing their master theses. The topic of the seminar is given by the active projects of the department.

Sylabus

čeština

Poslední úprava: Tajemník Katedry (30.04.2012)

Funkcionální a nefunkcionální požadavky (kvalita, výkon) a jejich rozsah (scope)

Vnější rozhraní (interface)

Omezení (constraints) a vazba na další vývoj produktu

Popis požadavků v přirozeném jazyce - RDF model

Gramatická inspekce a vazby na model UML včetně jazyka OCL

Statické a dynamické struktury modelu

Jednoznačnost, úplnost a konsistence požadavků

Možnosti verifikace

angličtina

Poslední úprava: Tajemník Katedry (30.04.2012)

Functional and non-functional requirements (quality, performance) and their scope

External interface

Constraints and bindings on subsequent development steps

Description of requirements in natural language - RDF model

Grammar inspection and bindings on UML model including OCL

Static and dynamic model structures

Unambiguity, completeness and consistency of requirements

Verification