Listing 1 - 8 of 8 |
Sort by
|
Choose an application
Logiciels --- Software --- Software engineering --- Software-technologie --- Technologie du software --- 681.3*D20 --- Computerwetenschap--?*D20
Choose an application
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
Software engineering --- Software-technologie --- Technologie du software --- Software Engineering. --- Computer Science --- Engineering & Applied Sciences --- Computer software engineering --- Computer science. --- Software engineering. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Engineering
Choose an application
Software engineering --- Software-technologie --- Systeemanalyse --- Systeemontwerp --- System analysis --- System design --- Systemes [Conception de] --- Systèmes [Analyse des ] --- Technologie du software --- Conception de systèmes --- Conception de systèmes informatiques --- Design [System ] --- Systems design --- Systèmes [Conception de] --- Systèmes informatiques -- Conception et construction --- Business --- Data processing
Choose an application
Software engineering --- Software-technologie --- Technologie du software --- 026.068 --- 681.3.06 --- 025.4.036 --- 681.3*K63 --- Software, programmatuur. Elektronische informatiebronnen. Digitale bibliotheken. Virtuele bibliotheken --- Software management: software development; software selection; software maintenance --- 681.3*K63 Software management: software development; software selection; software maintenance --- 026.068 Software, programmatuur. Elektronische informatiebronnen. Digitale bibliotheken. Virtuele bibliotheken --- Library administration --- Data processing
Choose an application
Compatibility [Software ] --- Software [Portable ] --- Software compatibility --- Software engineering --- Software-technologie --- Technologie du software --- Transferability [Software ] --- Computer software --- -Software engineering --- 681.3*D2 --- Compatibility, Software --- Portability, Software --- Software portability --- Software transferability --- Transferability, Software --- Computer programming --- Application software porting --- Computer software engineering --- Engineering --- Software, Computer --- Computer systems --- Development --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Compatibility --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Development of computer software --- Software development
Choose an application
Object-georiënteerd programmeren (Informatica) --- Object-oriented programming (Computer science) --- Programmation par objets (Informatique) --- Software engineering --- Software-technologie --- Technologie du software --- 681.3*D15 --- 681.3*D2 --- Computer software engineering --- Engineering --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Software: object-oriented programming --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D15 Software: object-oriented programming --- Software engineering. --- Object-oriented programming.
Choose an application
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems. Two new algorithms are introduced allowing for automatic verification of important aspects such as safety or liveness properites of a given infinite-state system. The formal framework developed involves recent results from various theoretical areas like process algebras, fixpoint theory, modal logics and model checking.
Processes, Infinite. --- Branch and bound algorithms. --- Software-technologie --- Technologie du software --- Computer software --- Software engineering --- Computer Science --- Engineering & Applied Sciences --- Verification --- Computer science. --- Computer programming. --- Software engineering. --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Techniques. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Verification. --- Software verification --- Verification of software
Choose an application
Software engineering --- Software-technologie --- Systeemontwerp --- System design --- Systemes [Conception de] --- Technologie du software --- System Design --- Software Engineering --- 681.3*B --- Academic collection --- 681.3*A1 --- 681.3*C --- 681.3*D2 --- 681.3*I2 --- Design, System --- Systems design --- Electronic data processing --- System analysis --- Computer software engineering --- Engineering --- Hardware --- Introductory and survey --- Computer systems organization: hardware/software interfaces; instruction set design; system architectures; systems specification methodology --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*C Computer systems organization: hardware/software interfaces; instruction set design; system architectures; systems specification methodology --- 681.3*A1 Introductory and survey --- 681.3*B Hardware --- Systèmes, Conception de --- Génie logiciel --- Conception de systèmes --- Conception de systèmes informatiques --- Design [System ] --- Systèmes [Conception de] --- Systèmes informatiques -- Conception et construction --- System design. --- Software engineering. --- Systèmes, Conception de.
Listing 1 - 8 of 8 |
Sort by
|