Search Sciweavers | Sciweavers

731 search results - page 3 / 147

» Specification Matching of Software Components

click to vote

COMPSAC
2007
IEEE

162views Software Engineering» more COMPSAC 2007»

Automated Testing EJB Components Based on Algebraic Specifications

14 years 4 months ago

Download cms.brookes.ac.uk

Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...

Liang Kong, Hong Zhu, Bin Zhou

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

14 years 4 months ago

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...

claim paper

Read More »

click to vote

CBSE
2009
Springer

105views Software Engineering» more CBSE 2009»

Domain-Specific Software Component Models

14 years 1 months ago

Download www.cs.man.ac.uk

We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...

Kung-Kiu Lau, Faris M. Taweel

claim paper

Read More »

click to vote

JIT
2004
Springer

90views Database» more JIT 2004»

UnSCom: A Standardized Framework for the Specification of Software Components

14 years 3 months ago