- Subscribe to this page:
- RSS
- Email Alert
specification
(39980 results)
White Papers, Webcasts, and Resources
-
Take a look at this white paper to learn more about an ERP solution from IBM and Microsoft that can take the hassle out of ERP and make you more competitive.
-
White Papers
The Design of SafeJML, a Specification Language for SCJ With Support for WCET Specification
June 1, 2010 12:00am PDT
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear power plants....
Provided by: University of Central Florida
-
White Papers
From Relational Specifications to Logic Programs
May 19, 2010 12:00am PDT
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to Prolog. Imperative...
Provided by: Massachusetts Institute of Technology
-
White Papers
A Tool for Checking Conformance of UML Specification
December 3, 2009 12:00am PST
Unified Modeling Language (UML) is a standard language for modeling of a system. UML is used to visually specify the structure and behavior of a system. The system requirements are captured and...
Provided by: Universiti Tun Hussein Onn Malaysia
-
White Papers
LM: A Miner for Scenario-Based Specifications
May 8, 2010 12:00am PDT
The authors present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with a...
Provided by: Association for Computing Machinery
-
White Papers
Contracts and Specifications for Functional Logic Programming
May 28, 2011 12:00am PDT
The expressive power of functional logic languages supports high-level specifications as well as efficient implementations of problems in the same language. If specifications are executable, they...
Provided by: Portland State University
-
-
White Papers
Specification and Verification of Closures
December 15, 2009 12:00am PST
Closures, first-class citizen procedures that are able to capture their lexical environment, increase the expressiveness of object-oriented languages such as C#, Scala, and various dynamic...
Provided by: ETH Zurich
-
White Papers
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
March 3, 2011 12:00am PST
The Property specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. In this paper...
Provided by: Hindawi Publishing
-
White Papers
Web Service-Security Specification Based on Usability Criteria and Pattern Approach
August 1, 2009 12:00am PDT
A specification is provided in this paper to assist in the design of usable and secure web-services. In particular, this specification helps design an adequate security information feedback based...
Provided by: Academy Publisher
-
White Papers
Managing Scope Creep With Design Patterns in Formal Specifications
January 1, 2011 12:00am PST
Scope creep can affect the timeliness of the software engineering process. Scope creep often occurs when features are changed or added. Software specification languages provide a formal method for...
Provided by: Science and Engineering Research Support soCiety
-
White Papers
Certification of Software Component Performance Specifications
June 19, 2009 12:00am PDT
In software engineering, performance specifications of components support the successful evolution of complex software systems. Having trustworthy specifications is important to reliably detect...
Provided by: FZI Karlsruhe
-
White Papers
Towards Client-Aware Interface Specifications
October 27, 2011 12:00am PDT
Run-time Assertion Checking (RAC) is a well-established technique for run-time verification of Object-Oriented (OO) programs. Contemporary RACs use specifications from the receiver's dynamic type...
Provided by: Association for Computing Machinery
-
White Papers
Towards Automatically Checking Thousands of Failures With Micro-Specifications
September 6, 2010 12:00am PDT
Recent data-loss incidents have shown that existing large distributed systems are still vulnerable to failures. To improve the situation, the authors propose two new testing approaches: Failure...
Provided by: University of Wisconsin
-
White Papers
Mining Patterns and Rules for Software Specification Discovery
August 28, 2008 12:00am PDT
Software specifications are often lacking, incomplete and outdated in the industry. Lack and incomplete specifications cause various software engineering problems. Studies have shown that program...
Provided by: VLDB Endowment
-
White Papers
Iterative Mining of Resource-Releasing Specifications
September 1, 2011 12:00am PDT
Software systems commonly use resources such as network connections or external file handles. Once finish using the resources, the software systems must release these resources by explicitly...
Provided by: Peking University
-
White Papers
Domain-Specific Iterative Readability Computation
June 25, 2010 12:00am PDT
The authors present a new algorithm to measure domain-specific readability. It iteratively computes the readability of domain-specific resources based on the difficulty of domain-specific concepts...
Provided by: Association for Computing Machinery
-
White Papers
Testing and Validating the Quality of Specifications
March 10, 2008 12:00am PDT
Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under...
Provided by: Radboud University Nijmegen
-
Software
Specific Carb Diet Shopping List 1.3 (Mobile)
July 27, 2011 12:00am PDT
Confused on what groceries to buy for your Specific Carb Diet?Worry no more, this shopping list provides everything you will need to make your selection at the market a snap.This simple, easy to...
Provided by: Lisiere Media LLC
-
Software
Specific Carb Diet Shopping List 1.4 (Mobile)
July 27, 2011 12:00am PDT
Confused on what groceries to buy for your Specific Carb Diet?Worry no more, this shopping list provides everything you will need to make your selection at the market a snap.This simple, easy to...
Provided by: Lisiere Media LLC
-
Downloads
Specific Carb Diet Shopping List 1.4 (Mobile)
July 27, 2011 12:00am PDT
Confused on what groceries to buy for your Specific Carb Diet?Worry no more, this shopping list provides everything you will need to make your selection at the market a snap.This simple, easy to...
Provided by: Lisiere Media LLC
-
White Papers
Modular Specification and Verification of Delegation With SMT Solvers
July 18, 2011 12:00am PDT
Delegation is a very common programming idiom, whereby a task is carried out by a statically unknown part of the program. Delegation enhances the modularity and the extensibility of a program,...
Provided by: ETH Zurich
Keep Up with TechRepublic
Media Gallery
White Papers, Webcasts, and Downloads
-
White PapersHave You Supersized Your Data Center? Avoid the Pitfalls of Oversizing
When it comes to the infrastructure of your data center or network rooms, bigger is not necessarily better. Read this white paper to learn the facts about and reasons behind oversizing. Explore ways you can avoid the problems presented by oversizing.
-
White Papers
Have You Supersized Your Data Center? Avoid the Pitfalls of Oversizing
-
White Papers
Cloud Computing on Your Terms
From IBM -
Webcasts
Live Webcast: Top Considerations for Effective Managed Security for 2012 and Beyond
From AT&T
