<--- Back to Details
First PageDocument Content
Free software / DotNetNuke / Ethereum / Computing platforms / Cross-platform software / Integrated development environments / ASP.NET / Open Web Interface for .NET / Microsoft Visual Studio / Microsoft Access / Web application / Software
Date: 2015-07-20 07:20:44
Free software
DotNetNuke
Ethereum
Computing platforms
Cross-platform software
Integrated development environments
ASP.NET
Open Web Interface for .NET
Microsoft Visual Studio
Microsoft Access
Web application
Software

Add to Reading List

Source URL: media.wiley.com

Download Document from Source Website

File Size: 4,06 MB

Share Document on Facebook

Similar Documents

Software / System software / Computing / KDE / KDE Software Compilation / KDE Projects

Call for Proposals: Documentation Support for KDE KDE is an international community dedicated to writing Free Software for end users. Thousands of volunteers are working on software like a desktop, graphics applications,

DocID: 1xVe0 - View Document

Computing / Software engineering / Computer programming / Software bugs / Software testing / Computer network security / Debuggers / Common Weakness Enumeration / Memory debugger / Memory safety / Application security / Frama-C

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

DocID: 1xUYu - View Document

Computing / Software engineering / Data types / Computer programming / Primitive types / Formal languages / Formal methods / ANSI/ISO C Specification Language / C / String / Frama-C / Permutation

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

DocID: 1xUSC - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document

Computing / Software engineering / Computer programming / Data types / C++ / C / Primitive types / Software bugs / Pointer / Struct / Memory safety / C dynamic memory allocation

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

DocID: 1xTIX - View Document