Listing 1 - 10 of 45 | << page >> |
Sort by
|
Choose an application
The courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.
Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer simulation. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Special Purpose and Application-Based Systems. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software engineering
Choose an application
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of thi
Component software --- Computer software. --- Software, Computer --- Computer systems --- Computer software --- Mathematical models.
Choose an application
Mathematical logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- informatica --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica --- computernetwerken
Choose an application
Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering
Choose an application
Choose an application
Bioreactors. --- Cell culture. --- Tissue engineering. --- Biomedical engineering --- Regenerative medicine --- Tissue culture --- Cultures (Biology) --- Cytology --- Biochemical reactors --- Reactors, Biochemical --- Biochemical engineering --- Chemical reactors --- Technique --- Equipment and supplies
Choose an application
Mathematical logic --- Complex analysis --- Computer science --- Programming --- Computer. Automation --- complexe analyse (wiskunde) --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica
Choose an application
Formal methods (Computer science) --- Real-time data processing --- Méthodes formelles (Informatique) --- Temps réel --- Congresses. --- Congrès --- Björner, D. --- Zhou, Chaochen, --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Bjørner, D. --- Bjørner, Dines --- Bjørner, Dines, --- Chaochen, Zhou, --- Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Systems Organization and Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Chaochen, Zhou. --- Computer engineering. --- Computer networks. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Computer Engineering and Networks. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- 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 --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction
Choose an application
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer simulation. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Simulation and Modeling. --- Mathematical Logic and Formal Languages. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.
Informatics --- Information Science --- Medical Informatics --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Medical informatics --- Medicine --- Data processing --- Computer science. --- Computer Science. --- Computer Science, general. --- Science
Listing 1 - 10 of 45 | << page >> |
Sort by
|