Listing 1 - 10 of 13 | << page >> |
Sort by
|
Choose an application
Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications, Second Edition provides the techniques and technologies in software engineering to optimally design and implement an embedded system. Written by experts with a solution focus, this encyclopedic reference gives an indispensable aid on how to tackle the day-to-day problems encountered when using software engineering methods to develop embedded systems. New sections cover peripheral programming, Internet of things, security and cryptography, networking and packet processing, and hands on labs. Users will learn about the principles of good architecture for an embedded system, design practices, details on principles, and much more. Provides a roadmap of key problems/issues and references to their solution in the text Reviews core methods and how to apply them Contains examples that demonstrate timeless implementation details Users case studies to show how key ideas can be implemented, the rationale for choices made, and design guidelines and trade-offs
Software engineering. --- Embedded computer systems. --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- Computer software engineering --- Engineering --- Enginyeria de programari --- Sistemes incrustats (Informàtica) --- Enginyeria de programes d'ordinador --- Enginyeria del programari --- Enginyeria del software --- Programari --- Programari, Enginyeria de --- Enginyeria --- Programació (Ordinadors) --- Ordinadors immersos, Sistemes d' --- Sistemes d'ordinadors immersos --- Sistemes immersos (Informàtica) --- Sistemes informàtics
Choose an application
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
Mathematical logic --- wiskunde --- logica --- Formal methods (Computer science) --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- System design --- Mètodes formals (Informàtica) --- Disseny de sistemes --- Enginyeria de programari --- Mathematical logic. --- Mathematical Logic and Foundations.
Choose an application
High performance computing. --- Microprogramming. --- Computer programming. --- Càlcul intensiu (Informàtica) --- Programació (Ordinadors) --- Programació d'ordinadors --- Programació (Informàtica) --- Algorismes --- Informàtica --- Models matemàtics --- Enginyeria de programari --- Estructures de dades (Informàtica) --- Manteniment del programari --- Programació de robots --- Programació en Internet --- Programació evolutiva (Informàtica) --- Programació lògica --- Programació orientada a l'objecte (Informàtica) --- Programació per restriccions --- Programació en paral·lel (Informàtica) --- Programes d'ordinador --- Càlcul d'alt rendiment (Informàtica) --- Computació d'alt rendiment --- HPC (Informàtica) --- Informàtica d'alt rendiment --- Superinformàtica --- Computació distribuïda --- Processament en paral·lel (Ordinadors) --- Superordinadors --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer programming --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Programming
Choose an application
High performance computing. --- Microprogramming. --- Computer programming. --- Càlcul intensiu (Informàtica) --- Programació (Ordinadors) --- Programació d'ordinadors --- Programació (Informàtica) --- Algorismes --- Informàtica --- Models matemàtics --- Enginyeria de programari --- Estructures de dades (Informàtica) --- Manteniment del programari --- Programació de robots --- Programació en Internet --- Programació evolutiva (Informàtica) --- Programació lògica --- Programació orientada a l'objecte (Informàtica) --- Programació per restriccions --- Programació en paral·lel (Informàtica) --- Programes d'ordinador --- Càlcul d'alt rendiment (Informàtica) --- Computació d'alt rendiment --- HPC (Informàtica) --- Informàtica d'alt rendiment --- Superinformàtica --- Computació distribuïda --- Processament en paral·lel (Ordinadors) --- Superordinadors --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer programming --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Programming
Choose an application
Engineering --- Statistical methods. --- Engineering statistics --- Engineering mathematics --- Enginyeria --- Estadística matemàtica --- Estadística descriptiva --- Inferència estadística --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de sèries temporals --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Correlació (Estadística) --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica
Choose an application
Informàtica --- Enginyeria de programari --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial --- Enginyeria de programes d'ordinador --- Enginyeria del software --- Enginyeria informàtica --- Enginyeria --- Programació (Ordinadors) --- Arquitectura del programari --- Desenvolupament de programari --- Mètodes formals (Informàtica) --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Sistemes informàtics --- Teledocumentació --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació
Choose an application
Engineering --- Statistical methods. --- Engineering statistics --- Engineering mathematics --- Enginyeria --- Estadística matemática --- Estadística descriptiva --- Inferència estadística --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de sèries temporals --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Correlació (Estadística) --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica
Choose an application
Artificial intelligence --- Control theory --- Internet of things. --- IoT (Computer networks) --- Things, Internet of --- Computer networks --- Embedded Internet devices --- Machine-to-machine communications --- Intel·ligència artificial --- Teoria de control --- Internet de les coses --- Enginyeria de programari --- Enginyeria de programes d'ordinador --- Enginyeria del software --- Enginyeria informàtica --- Enginyeria --- Programació (Ordinadors) --- Arquitectura del programari --- Desenvolupament de programari --- Mètodes formals (Informàtica) --- Internet dels objectes --- Xarxes d'ordinadors --- Control (Matemàtica) --- Control òptim --- Regulació --- Anàlisi de sistemes --- Teoria de màquines --- Control automàtic --- Filtre de Kalman --- Sistemes de control biològic --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial
Choose an application
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.
Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Software engineering --- Computer software --- Development --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Information Systems Applications (incl. Internet). --- Logic design. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Programming --- Distributed processing --- Desenvolupament de programari --- Desenvolupament d'aplicacions (Informàtica) --- Desenvolupament de programes d'ordinador --- UML (Informàtica) --- Depuració (Informàtica) --- Enginyeria de programari
Choose an application
.
Bioinformatics . --- Computational biology . --- Electrical engineering. --- User interfaces (Computer systems). --- Application software. --- Industrial engineering. --- Production engineering. --- Computer Appl. in Life Sciences. --- Communications Engineering, Networks. --- User Interfaces and Human Computer Interaction. --- Information Systems Applications (incl. Internet). --- Industrial and Production Engineering. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Electric engineering --- Engineering --- Biology --- Bioinformatics --- Bio-informatics --- Biological informatics --- Information science --- Computational biology --- Systems biology --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Management engineering --- Simplification in industry --- Value analysis (Cost control) --- Data processing --- Communications engineering / telecommunications. --- Management. --- Philosophy. --- Enginyeria --- Biologia computacional --- Biologia --- Biologia de sistemes --- Neurociència computacional --- Bioinformàtica --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica
Listing 1 - 10 of 13 | << page >> |
Sort by
|