Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

SPEZIFIKATIONEN (SOFTWARE ENGINEERING)

Subject

Browse all works related to SPEZIFIKATIONEN (SOFTWARE ENGINEERING).

Home
Subject
SPEZIFIKATIONEN (SOFTWARE ENGINEERING)

"62" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Conceptual models

Conceptual models: core to good design

by Johnson, Jeff, Henderson, Austin

fromSynthesis lectures on human-centered informatics

0 Type: Book

UML 2 glasklar

UML 2 glasklar: Praxiswissen für die UML-Modellierung

by Rupp, Chris, SOPHIST-Gesellschaft für Innovatives Software-Engineering, Queins, Stefan

0 Type: Book

In diesem Buch lernen Sie die UML auf dem aktuellsten Stand kennen. Hier finden Sie alle Diagramme der UML ausführlich beschrieben und erfahren, wie Sie sie in Ihrem Projekt richtig anwenden. Zahlreiche Tipps, Tricks und anschauliche Beispiele helfen Ihnen dabei. Als UML-Neuling…

Communication protocol engineering

Communication protocol engineering

by Popovic, Miroslav

0 Type: Book

Design of multithreaded software

Design of multithreaded software: the entity-life modeling approach

by Sandén, Bo I.

fromIEEE Computer Society Publications

0 Type: Book

An introduction to discrete mathematics and formal system specification

An introduction to discrete mathematics and formal system specification

by Ince, Darrel C., Ince, D. C.

fromOxford applied mathematics and computing science series

0 Type: Book

Understanding Z

Understanding Z: a specification language and its formal semantics

by Spivey, J. M.

fromCambridge tracts in theoretical computer science

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

by Meinke, Karl

fromWiley professional computing

0 Type: Book

Critical systems

Critical systems: formal methods and automated verification : joint…

by FMICS-AVoCS, Turin, AVoCS

fromLecture Notes in Computer Science

0 Type: Book

Program specification and transformation

Program specification and transformation: proceedings of the IFIP TC2/WG 2. 1 Working Confe…

by Meertens, L. G. L. T., Meertens, L., IFIP., Working Group 2.1, Algol, IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz)

0 Type: Book

Enterprise architecture at work

Enterprise architecture at work: modelling, communication and analysis

by Lankhorst, Marc

0 Type: Book

Software Engineering and Formal Methods

Software Engineering and Formal Methods: 9th International Conference, Proceedings

by Barthe, Gilles

fromLecture Notes in Computer Science

0 Type: Book

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, Revised Selected Papers

by Simão, Adenilso, Brazilian Symposium on Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

System analysis and modeling: about models

System analysis and modeling: about models: 6th international workshop, revised selected pape…

by Kraemer, Frank Alexander, International Workshop on System Analysis and Modelling

fromLecture Notes in Computer Science

0 Type: Book

Formal Methods and Software Engineering

Formal Methods and Software Engineering: proceedings

by Qin, Shengchao, IEEE International Conference on Formal Engineering Methods

fromLecture Notes in Computer Science

0 Type: Book

Theory and practice of model transformations

Theory and practice of model transformations: 4th international conference : proceedings

by International Conference on Model Transformations, Cabot, Jordi

fromLecture Notes in Computer Science

0 Type: Book

Interpreting the CMMI

Interpreting the CMMI: a process improvement approach

by Kulpa, Margaret K., Johnson, Kent A.

0 Type: Book

Top productivity through software reuse

Top productivity through software reuse: proceedings

by Schmid, Klaus, International Conference on Software Reuse

fromLecture Notes in Computer Science

0 Type: Book

Business Process Model and Notation

Business Process Model and Notation: Third International Workshop, Proceedings

by Dijkman, Remco, International Workshop on Business Process Modeling Notation, (Luzern)

fromLecture notes in business information processing

0 Type: Book

FM 2011: Formal methods

FM 2011: Formal methods: proceedings

by Butler, Michael A., International Symposium on Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

FM 2011: Formal methods

FM 2011: Formal methods: proceedings

by Butler, Michael, International Symposium on Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

1
2
3
4

Subjects

SPEZIFIKATIONEN (SOFTWARE ENG… (62) SPECIFICATIONS (SOFTWARE ENGI… (60) SPÉCIFICATIONS + CONCEPTS DE … (60) Software Engineering (19) Génie logiciel (15) VERIFICATION (SOFTWARE ENGINE… (12) VERIFIKATION (SOFTWARE ENGINE… (12) VÉRIFICATION (GÉNIE LOGICIEL) (12) Computer software -- Developm… (9) Softwareentwicklung (8) ANALYSE DE SYSTÈMES + CONCEPT… (7) ANALYSE DES BESOINS DES UTILI… (7) BENUTZERANFORDERUNGEN (SOFTWA… (7) SYSTEMANALYSE + SYSTEMENTWICK… (7) SYSTEMS ANALYSIS + SYSTEMS DE… (7) USER REQUIREMENTS (SOFTWARE E… (7) FACHLICHE NACHSCHLAGEWERKE + … (6) Formale Methode (6) LEHRBÜCHER (DOKUMENTENTYP) (6) OUVRAGES DE RÉFÉRENCE SPÉCIAL… (5) SPECIALIZED REFERENCE WORKS +… (5) TESTEN + FEHLERSUCHEN (SOFTWA… (5) TESTING + DEBUGGING (SOFTWARE… (5) TESTS ET MISE AU POINT DE PRO… (5) MANUELS POUR L'ENSEIGNEMENT (… (4) OBJEKTORIENTIERTE PROGRAMMIER… (4) TEXTBOOKS (DOCUMENT TYPE) (4) ANALYSE ORIENTÉE OBJETS (GÉNI… (3) FIABILITÉ DU LOGICIEL (GÉNIE … (3) Model Checking (3) OBJECT-ORIENTED ANALYSIS (SOF… (3) OBJECT-ORIENTED PROGRAMMING (… (3) OBJEKTORIENTIERTE ANALYSE (SO… (3) PARALLEL PROCESSING + CONCURR… (3) PARALLELVERARBEITUNG + NEBENL… (3) PROGRAMMATION ORIENTÉE OBJETS… (3) RELIABILITY + FAULT-TOLERANCE… (3) TRAITEMENT PARALLELE + SIMULT… (3) Verifikation (3) ZUVERLÄSSIGKEIT + FEHLERTOLER… (3) software (3) ALGEBRAIC SPECIFICATION (THEO… (2) ALGEBRAISCHE SPEZIFIKATION (T… (2) ALGORITHMIC COMPLEXITY (MATHE… (2) ALGORITHMISCHE KOMPLEXITÄT (M… (2) APPLICATIONS DISTRIBUÉES + GR… (2) APPLICATIONS INFORMATIQUES EN… (2) ATTRIBUTGRAMMATIKEN (MATHEMAT… (2) Algebra -- Data processing (2) Algèbre -- informatique (2) BERECHENBARE GEOMETRIE + COMP… (2) Beweistheorie (2) CD-ROM (DOCUMENT TYPES) (2) CD-ROM (DOKUMENTENTYP) (2) CD-ROM (FORME DES DOCUMENTS) (2) COMPILER (PROGRAMMIERSPRACHEN) (2) COMPLEXITÉ ALGORITHMIQUE (MAT… (2) COMPUTATIONAL GEOMETRY + GEOM… (2) COMPUTER APPLICATIONS IN ENGI… (2) CORRECTNESS (THEORY OF PROGRA… (2) Computer Science (2) Computer security (2) D.2 (2) DATA SECURITY + DATA PROTECTI… (2) DATENSICHERHEIT + DATENSCHUTZ… (2) DECLARATIVE PROGRAMMING + LOG… (2) DEKLARATIVE PROGRAMMIERUNG + … (2) DISTRIBUTED APPLICATIONS + ME… (2) Eingebettetes System (2) Electronic Data Processing (2) FACHLICHE NACHSCHLAGEWERKE + … (2) Formal methods (Computer scie… (2) Formal methods (Computer scie… (2) GRAMMAIRES DE GRAPHES (THÉORI… (2) GRAPH GRAMMARS (GRAPH THEORY) (2) GRAPH TRANSFORMATIONS (GRAPH … (2) GRAPHENTRANSFORMATIONEN (GRAP… (2) GRAPHGRAMMATIKEN (GRAPHENTHEO… (2) GÉOMÉTRIE ALGORITHMIQUE + GÉO… (2) Informatique (2) KORREKTHEIT (THEORIE DER PROG… (2) Leistungsbewertung (2) Logic design (2) MANUELS POUR L'ENSEIGNEMENT (… (2) MÉTHODES DE PROGRAMMATION SPÉ… (2) Méthodes formelles (Informati… (2) OUVRAGES DE RÉFÉRENCE SPÉCIAL… (2) PETRI NETS (CONTROL SYSTEMS T… (2) PETRINETZE (THEORIE DER REGEL… (2) PROGRAMMATION DÉCLARATIVE + P… (2) PROGRAMMES CORRECTS (THÉORIE … (2) Programmierung (2) QUALITÉ DU LOGICIEL (GÉNIE LO… (2) Reduktionssystem (2) RÉSEAUX DE PETRI (THÉORIE DES… (2) SOFTWARE QUALITY (SOFTWARE EN… (2) SOFTWAREQUALITÄT (SOFTWARE EN… (2) SPECIAL PROGRAMMING METHODS (2) SPECIALIZED REFERENCE WORKS +… (2) SPECIFICATION ALGEBRIQUE (THÉ… (2) SPEZIELLE PROGRAMMIERMETHODEN (2) SYSTEMPROGRAMMIERUNG (BETRIEB… (2) Sicherheitskritisches System (2) Structure logique (2) Systementwurf (2) SÉCURITÉ ET PROTECTION DES DO… (2) Sécurité informatique (2) Sémantique (2) TEXTBOOKS (DOCUMENT TYPES) (2) TRANSFORMATIONS DE GRAPHES (T… (2) Typentheorie (2) Typsystem (2) VERTEILTE ANWENDUNGEN + METAC… (2) Verteiltes System (2) Zuverlässigkeit (2) 519.611 (1) ATTRIBUTE GRAMMARS (MATHEMATI… (1) AUSSAGENLOGIK (MATHEMATISCHE … (1) Algorithme (1) Amsterdam <2010> (1) Analyse combinatoire (1) App (1) BENUTZEROBERFLÄCHEN (INFORMAT… (1) BUSINESS PROCESS MANAGEMENT +… (1) BUSINESS PROCESSES (BUSINESS … (1) Benutzeroberfläche (1) C.1 (1) C.2 (1) C.4 (1) CASHE (1) CIRCUIT DESIGN (MIKROELECTRON… (1) CIRCUIT SYNTHESIS (ELECTRICAL… (1) COMPILATEURS (LANGAGES DE PRO… (1) COMPILERS (PROGRAMMING LANGUA… (1) COMPUTERANWENDUNGEN IN TECHNI… (1) COMPUTERANWENDUNGEN/TECHNIK U… (1) COMPUTERNETZWERKE (1) CONCURRENT PROGRAMMING + DIST… (1) Capability maturity model (1) Combinatorial analysis (1) Complexite (1) Computer graphics (1) Computer networks (1) Computer programs -- Design (1) Computer software (1) Computer software -- Congress… (1) Computer systems -- Congresse… (1) Computer systems -- Evaluation (1) Conception de systèmes -- Con… (1) Conceptual structures (Inform… (1) Concurrence (1) D.3 (1) DESIGN + CONCEPTION (1) DESIGN + GESTALTUNG + FORMGEB… (1) DESSIN DES CIRCUITS IMPRIMÉS … (1) Datenverarbeitungssystem (1) Design (1) Diskrete Mathematik (1) ECHTZEITSYSTEME + EINGEBETTET… (1) Echtzeitsystem (1) F.3 (1) FORMALE BESCHREIBUNGSTECHNIKEN (1) Fehlertoleranz (1) GESCHAEFTSPROZESSE (UNTERNEHM… (1) GESCHÄFTSPROZESSMANAGEMENT + … (1) GESTION DE PROJETS + GESTION … (1) GESTION DES PROCESSUS COMMERC… (1) GRAMMAIRES D'ATTRIBUTS (LINGU… (1) Génie logiciel -- Congrès (1) Géométrie algorithmique (1) Hardware/Software-System (1) Hardwareentwurf (1) INFORMATIQUE THÉORIQUE (1) INTERFACE UTILISATEUR GRAPHIQ… (1) INTERNET + WORLD WIDE WEB (CO… (1) INTERNET + WORLD WIDE WEB (CO… (1) INTERNET + WORLD WIDE WEB (RÉ… (1) Infographie (1) Informatik (1) Informatique -- Congrès (1) K.6 (1) Kongress (1) LANGAGES DE SPÉCIFICATION (SY… (1) LOGIQUE DES PRÉDICATS (LOGIQU… (1) LOGIQUE MULTI-ESPÈCES (LOGIQU… (1) LOGIQUE PROPOSITIONNELLE (LOG… (1) LOGIQUE TEMPORELLE (LOGIQUE M… (1) Langages de programmation (1) Linguaggi di programmazione. … (1) Logiciels (1) Logiciels -- Congrès (1) Logics and Meanings of Progra… (1) Logique (1) MANY-SORTED LOGIC (MATHEMATIC… (1) MEHRPROGRAMMBETRIEB (BETRIEBS… (1) MEHRSORTENLOGIK (MATHEMATISCH… (1) META-PROGRAMMING (THEORY OF P… (1) METAPROGRAMMIERUNG (THEORIE D… (1) MULTIPROCESSING + MULTIPROGRA… (1) MULTIPROGRAMMATION (SYSTÈMES … (1) Mehrwertige Logik (1) Multitasking -- Congresses (1) Multitasking -- Programmierung (1) Multithreading (1) MÉTAPROGRAMMATION (THÉORIE DE… (1) NETWORK MONITORING (COMPUTER … (1) NETWORK PROTOCOLS + COMMUNICA… (1) NETZWERKPROTOKOLLE + KOMMUNIK… (1) NETZWERKÜBERWACHUNG + NETZWER… (1) Online-Ressource (1) PREDICATE LOGIC (MATHEMATICAL… (1) PROCESSUS COMMERCIAUX (GESTIO… (1) PRODUCTIVITY (BUSINESS ECONOM… (1) PRODUCTIVITÉ (ECONOMIE D'ENTR… (1) PRODUKTIVITÄT (BETRIEBSWIRTSC… (1) PROGRAMMATION DISTRIBUÉE + PR… (1) PROGRAMMATION SYSTÈME (SYSTÈM… (1) PROJECT MANAGEMENT + PEOPLE M… (1) PROJEKTMANAGEMENT + PERSONALM… (1) PROPOSITIONAL LOGIC (MATHEMAT… (1) PROTOCOLES DE COMMUNICATION +… (1) PRÄDIKATENLOGIK (MATHEMATISCH… (1) Parallel processing -- Congre… (1) Parallelverarbeitung -- Progr… (1) Petri nets (1) Petri nets -- Congresses (1) Programmanalyse (1) Programmatuurtechniek (1) Programming Languages, Compil… (1) Programmverifikation (1) Prozessmanagement (1) Prädikatenlogik (1) Qualitätskontrolle (1) REAL-TIME SYSTEMS + EMBEDDED … (1) Rational Unified Process (1) Rechnernetz (1) Requirements engineering (1) RÉSEAUX D'ORDINATEURS + RÉSEA… (1) RÉUTILISATION DU LOGICIEL (GÉ… (1) Réseaux de Pétri -- Congrès (1) SCHALTKREISENTWURF (MIKROELEK… (1) SCHALTKREISSYNTHESE (ELEKTROT… (1) SEFM (1) SOFTWARE REUSABILITY + SOFTWA… (1) SOFTWAREWIEDERVERWENDUNG + KO… (1) SPECIFICATION LANGUAGES (COMP… (1) SPEZIFIKATIONSSPRACHEN (COMPU… (1) SURVEILLANCE DE RÉSEAUX (SYST… (1) SYNTHÈSE DES CIRCUITS (ÉLECTR… (1) SYSTEMS PROGRAMMING (OPERATIN… (1) SYSTÈMES EN TEMPS RÉEL ET SYS… (1) Sicherheit (1) Software engineering -- Congr… (1) Software-Engineering, Program… (1) Softwareentwicklung -- 0 Gesa… (1) Softwarespezifikation (1) Softwaretest (1) Structures conceptuelles (1) Syntaxe (1) System design -- Congresses. … (1) Systemanalyse (1) Systementwicklung (1) Systemsynthese (1) Systèmes informatiques -- Con… (1) TECHNIQUES DE DESCRIPTION FOR… (1) TEMPORAL LOGIC (MATHEMATICAL … (1) TEMPORALLOGIK (MATHEMATISCHE … (1) THEORIE DER PROGRAMMIERUNG (1) THEORY OF PROGRAMMING (1) THÉORIE DE LA PROGRAMMATION (1) Temporale Logik (1) Testen (1) Theoretische Grundlagen (1) Theoretische Informatik (1) Threads (Computer programs) (1) Threads (Logiciels) (1) UML (Informatique) (1) UML 2 (1) UML, UNIFIED MODELLING LANGUA… (1) USER INTERFACES (INFORMATION … (1) Uml (1) User interfaces (Computer sys… (1) VERTEILTE PROGRAMMIERUNG + PA… (1) Z LANGAGE DE SPÉCIFICATION (G… (1) Z SPECIFICATION LANGUAGE (SOF… (1) Z-SPEZIFIKATIONSSPRACHE (SOFT… (1) computer sciences (1) data processing (1) formal description techniques (1) informatica (1) programmation en logique (1) spécification logiciel (1)

Contributor

Margaria, Tiziana (4) International Conference on C… (3) International Symposium on Le… (3) Alblas, Henk (2) Brownsword, Mike (2) Bruni, Roberto (2) European Conference on Modell… (2) Filliâtre, Jean-Christophe (2) France, Robert B. (2) Holt, Jon (2) IEEE International Conference… (2) IFIP TC6 WG 6.1 Joint Interna… (2) IFIP TC6/WG6.1 International … (2) International Conference on M… (2) International Symposium on Fo… (2) Jeusfeld, Manfred A. (2) Kroll, Per (2) Kruchten, Philippe (2) Maté, José Luis (2) Merkow, Mark S. (2) Perry, Simon A. (2) Raghavan, Lakshmikanth (2) SAGA, Prag (2) Silva, Andrés (2) AVoCS (1) Araki, Keijiro (1) Barthe, Gilles (1) Beilner, Heinz (1) Bernardo, Marco (1) Bjørner, Dines (1) Brazilian Symposium on Formal… (1) Butler, Michael (1) Butler, Michael A. (1) Cabot, Jordi (1) Conference on Foundations of … (1) Conference on Foundations of … (1) De Troyer, Olga (1) Dijkman, Remco (1) Dong, Jin Song (1) Eleftherakis, George (1) FMICS-AVoCS, Turin (1) GI-ITG Conference on Measurin… (1) Gesellschaft für Informatik (… (1) Harvey, William (1) Henderson, Austin (1) IFIP TC2/WG 2.1 Working Confe… (1) IFIP., Working Group 2.1, Alg… (1) Ince, D. C. (1) Ince, Darrel C. (1) Informationstechnische Gesell… (1) International Conference on A… (1) International Conference on A… (1) International Conference on C… (1) International Conference on I… (1) International Conference on M… (1) International Conference on S… (1) International Conference on S… (1) International Conference on S… (1) International ERCIM Workshop … (1) International School on Forma… (1) International Summer School o… (1) International Symposium of Fo… (1) International Symposium on Le… (1) International Workshop TYPES (1) International Workshop on Bus… (1) International Workshop on Sys… (1) Jensen, Kurt (1) Johnson, Jeff (1) Johnson, Kent A. (1) Kilov, Haim (1) Kraemer, Frank Alexander (1) Kristensen, Lars M. (1) Kulpa, Margaret K. (1) Lankhorst, Marc (1) Meertens, L. (1) Meertens, L. G. L. T. (1) Meinke, Karl (1) Méry, Dominique (1) Münch, Jürgen (1) Popovic, Miroslav (1) Qin, Shengchao (1) Queins, Stefan (1) Ravn, Anders P. (1) Rupp, Chris (1) SOPHIST-Gesellschaft für Inno… (1) Salaün, Gwen (1) Sandén, Bo I. (1) Schmid, Klaus (1) Shyamasundar, R. (1) Shyamasundar, Rudrapatna (1) Simão, Adenilso (1) Spivey, J. M. (1) Stavely, Allan M. (1) Symposium on Formal Technique… (1) Teich, Jürgen (1) Tratt, Laurence (1) Trujillo, Juan (1) Workshop and Tutorial on Prac… (1)

Publisher

Springer (41) Addison-Wesley (3) CRC Press (2) Information Science Publishing (2) Springer-Verlag (2) Auerbach (1) Cambridge University Press (1) Clarendon Press (1) Hanser (1) IET (1) Institution of Engineering an… (1) J. Wiley (1) Kluwer (1) Morgan & Claypool (1) NH, North-Holland (1) Taylor & Francis (1) Wiley (1)

Year

2017 (1) 2012 (8) 2011 (21) 2010 (8) 2006 (3) 2005 (3) 2003 (4) 1999 (1) 1998 (1) 1997 (1) 1996 (1) 1995 (1) 1993 (1) 1992 (2) 1991 (2) 1988 (2) 1987 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type