Search Sciweavers | Sciweavers

1661 search results - page 58 / 333

» Real-time specification patterns

click to vote

ATVA
2007
Springer

97views Hardware» more ATVA 2007»

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications

15 years 4 months ago

Download www.cs.utep.edu

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, ...

claim paper

Read More »

click to vote

SEKE
2007
Springer

67views Software Engineering» more SEKE 2007»

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications

15 years 4 months ago

Download www.cs.utep.edu

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

claim paper

Read More »

click to vote

ICEIS
2006
IEEE

72views Information Technology» more ICEIS 2006»

A Systematic Analysis Patterns Specification

15 years 4 months ago

Download www2.uninova.pt

Ricardo Raminhos, Marta Pantoquilho, João A...

claim paper

Read More »

click to vote

SWSTE
2003
IEEE

92views Software Engineering» more SWSTE 2003»

Higher Quality Requirements Specifications through Natural Language Patterns

15 years 3 months ago

Download se.uwaterloo.ca

Christian Denger, Daniel M. Berry, Erik Kamsties

claim paper

Read More »

click to vote

IFIP
1998
Springer

77views Programming Languages» more IFIP 1998»

An electronic handbook for accessing domain specific generic patterns

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers