Software assurance

Results: 2574



#Item
1DANFENG (DAPHNE) YAO RESEARCH INTERESTS Software and system security and assurance, including anomaly detection in networked systems and programs, system integrity, malware program analysis, security of mobile systems, c

DANFENG (DAPHNE) YAO RESEARCH INTERESTS Software and system security and assurance, including anomaly detection in networked systems and programs, system integrity, malware program analysis, security of mobile systems, c

Add to Reading List

Source URL: people.cs.vt.edu

Language: English - Date: 2018-04-09 14:09:44
    2ROS-Industrial Quality-Assured Robot Software Components - ROSIN Quality Assurance Process and Community Management in ROS D3.1 Grant Agreement No.

    ROS-Industrial Quality-Assured Robot Software Components - ROSIN Quality Assurance Process and Community Management in ROS D3.1 Grant Agreement No.

    Add to Reading List

    Source URL: rosin-project.eu

    Language: English - Date: 2018-03-07 08:29:59
      3Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

      Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst

      Add to Reading List

      Source URL: sel4.systems

      Language: English - Date: 2015-09-15 20:34:19
        4ASSURE 2015: The 3rd International Workshop on Assurance Cases for Software-Intensive Systems Workshop Programme September 22, 2015 Delft, The Netherlands

        ASSURE 2015: The 3rd International Workshop on Assurance Cases for Software-Intensive Systems Workshop Programme September 22, 2015 Delft, The Netherlands

        Add to Reading List

        Source URL: safecomp2015.tudelft.nl

        Language: English - Date: 2015-09-03 11:54:38
          5Wind River Test Management 3.1 Today’s intelligent devices contain increasingly complex architectures running millions of lines of code. Software quality assurance (SQA) has never been more important—or more difficul

          Wind River Test Management 3.1 Today’s intelligent devices contain increasingly complex architectures running millions of lines of code. Software quality assurance (SQA) has never been more important—or more difficul

          Add to Reading List

          Source URL: www.windriver.com

          - Date: 2015-02-27 13:09:11
            6MINDJET MINDMANAGER PLUS PRODUCT TERMS Dated: June 2013 Mindjet MindManager PLUS is a user-based subscription (‘Subscription’). Mindjet MindManager PLUS includes: 1. Services included in Mindjet Software Assurance an

            MINDJET MINDMANAGER PLUS PRODUCT TERMS Dated: June 2013 Mindjet MindManager PLUS is a user-based subscription (‘Subscription’). Mindjet MindManager PLUS includes: 1. Services included in Mindjet Software Assurance an

            Add to Reading List

            Source URL: download.mindjet.com

            - Date: 2015-12-11 05:40:23
              7SoftWare Assurance MarketPlace (SWAMP) Privacy Policy Intended Distribution: Public Version 1 January 13, 2014 The SoftWare Assurance MarketPlace (SWAMP) network and Continuousassurance.org

              SoftWare Assurance MarketPlace (SWAMP) Privacy Policy Intended Distribution: Public Version 1 January 13, 2014 The SoftWare Assurance MarketPlace (SWAMP) network and Continuousassurance.org

              Add to Reading List

              Source URL: www.swampinabox.org

                8NRL BAA Announcement # Software Engineering for High Assurance Computer Systems The Software Engineering Section of the Naval Research Laboratory’s Center for High Assurance Computer Systems is seeking white p

                NRL BAA Announcement # Software Engineering for High Assurance Computer Systems The Software Engineering Section of the Naval Research Laboratory’s Center for High Assurance Computer Systems is seeking white p

                Add to Reading List

                Source URL: heron.nrl.navy.mil

                - Date: 2016-03-30 15:15:05
                  9Ingénieur/Technicien(ne) Qualité Logiciels – H/F Entreprise ADDACTIS Software est l’un des principaux éditeurs de progiciels spécialisés en actuariat pour le monde de l’assurance et de la finance, et distribue

                  Ingénieur/Technicien(ne) Qualité Logiciels – H/F Entreprise ADDACTIS Software est l’un des principaux éditeurs de progiciels spécialisés en actuariat pour le monde de l’assurance et de la finance, et distribue

                  Add to Reading List

                  Source URL: www.addactis.com

                  - Date: 2016-05-10 11:51:46
                    10INSPECT ™ Process Control and Quality Assurance Software for Additive Manufacturing FEATURES

                    INSPECT ™ Process Control and Quality Assurance Software for Additive Manufacturing FEATURES

                    Add to Reading List

                    Source URL: www.sigmalabsinc.com

                    - Date: 2016-05-27 13:03:13