Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Ergebnis der Suche nach: tit all "Formal Requirements Specification."
im Bestand: Gesamter Bestand

1 - 9 von 9

	1	Security requirements specification by formal methods: a research metadata analysis Enthalten in Multimedia tools and applications 13.10.2023: 1-20
	2	Generating Formal Representations of System Specification from Natural Language Requirements Irfan, Zeeshan. - Chemnitz : Technische Universität Chemnitz, 2020
	3	Bridge between Human Tongue and Computer Language Lee, Beum-Seuk. - Saarbrücken : VDM Verlag Dr. Müller, 2008
	4	Enhancing the fusion method to fusionB Bittner, Margot, 2005
	5	Circuit architecture derivation starting from a formal requirements specification considering a DDS as example In: Advances in radio science Bd. 2, 2005: 233-236
	6	A Generic Approach to the Formal Specification of Requirements Peper, Christian. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1997
	7	Formal analysis of the Shlaer-Mellor method: Towards a toolkit of formal and informal requirements specification techniques Enthalten in Requirements engineering Bd. 1, Nr. 2, date:6.1996: 106-131
	8	Response to “the formal specification of safety requirements for storing explosives” Enthalten in Formal aspects of computing Bd. 6, Nr. 5, date:9.1994: 565-568
	9	The formal specification of safety requirements for storing explosives Enthalten in Formal aspects of computing Bd. 5, Nr. 4, date:7.1993: 299-336

1 - 9 von 9

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (2)

Alle Standorte

Aktionen