Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
Formal methods (Computer science) --- Computer software --- Méthodes formelles (Informatique) --- Logiciels --- Congresses. --- Testing --- Congrès --- Essais --- Information Technology --- Software Engineering --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Management information systems. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- 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 --- Informatics --- Science --- Communication systems --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programs. --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files
Choose an application
Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management
Choose an application
Choose an application
Information retrieval --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- applicatiebeheer --- apps --- computerbesturingssystemen --- programmeren (informatica) --- informatiesystemen --- database management --- software engineering --- computernetwerken --- architectuur (informatica)
Choose an application
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
Artificial intelligence. --- Special purpose computers. --- Architecture, Computer. --- Natural language processing (Computer science). --- Data structures (Computer science). --- Artificial Intelligence. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Natural Language Processing (NLP). --- Data Structures and Information Theory. --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Architecture, Computer --- Special purpose computers --- Computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers
Choose an application
Computer software --- Software engineering --- Software architecture --- Engineering & Applied Sciences --- Computer Science --- Development --- Information Technology --- Software Engineering --- Computer science. --- Computer communication systems. --- Software engineering. --- Database management. --- Information storage and retrieval. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computer Communication Networks. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Computer software engineering --- Engineering --- 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 --- Informatics --- Science --- Distributed processing --- Information storage and retrieva. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software)
Choose an application
This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006.The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions for inclusion in the book. The workshop discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven development and embedded systems, software engineering for embedded systems, and composition technologies.
Information Technology --- Software Engineering --- Embedded computer systems --- Real-time data processing --- Computers --- Electronic data processing --- Electrical Engineering --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Reliability --- Distributed processing --- Fast-response data processing --- High-speed data processing --- Embedded systems (Computer systems) --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication
Choose an application
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.
Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Mathematical statistics. --- Computer simulation. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Simulation and Modeling. --- Probability and Statistics in Computer Science. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Computer software engineering --- Informatics --- Statistical methods --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Statistics --- Probabilities --- Sampling (Statistics) --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Engineering --- 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
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001-2003 and 2005-2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management
Choose an application
Composition of Embedded Systems: Scienti?c and Industrial Issues TheMontereyWorkshopsserieswas initiatedin 1992byDavidHislop withthe purpose of exploring the critical problems associated with cost-effective development of hi- quality software systems. During its 14-year history, the Monterey Workshops have brought together scientists that share a common interest in software development - search serving practical advances in next-generation software-intensive systems. Each year is dedicated to a particular topic of critical importance. In the past years, workshop topics were Networked Systems: Realization of Reliable Systems on Unreliable N- worked Platforms (2005 in Laguna Beach, California), "Software Engineering Tools: Compatibility and Integration" (2004 in Vienna), " Engineering for Embedded S- tems: From Requirements to Implementation"(2003 in Chicago), "Radical Innovations of Software and Systems Engineering in the Future" (2002 in Venice), "Engineering Automation for Software Intensive System Integration" (2001 in Monterey). th The 14 Monterey Workshop was held in Paris, France, during October 16-18, 2006. Context of the 2006 Monterey Workshop Distributed real-time embedded (DRE) systems are notoriously hard to design, imp- ment, and validate. The complexity of a typical system found in many critical - plications in civil and military aviation, transportation systems, and medical devices exceeds the capabilities of existing developmentand veri cation technologies. Com- nies spend enormous amounts of time and resources on veri cation and validation of DRE systems they develop and yet, despite their best efforts, hard-to- nd errors show up in deployed products.
Listing 1 - 10 of 19 | << page >> |
Sort by
|