Search Sciweavers | Sciweavers

4919 search results - page 38 / 984

» A Process-Ontological Model for Software Engineering

157

click to vote

ICSEA
2006
IEEE

90views Software Engineering» more ICSEA 2006»

Performance Model Interchange Format: Semantic Validation

16 years 1 months ago

Download dmi.uib.es

Daniel Garcia, Catalina M. Lladó, Connie U....

claim paper

Read More »

152

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 18 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

144

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 18 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

146

click to vote

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

16 years 14 days ago

Download mcs.open.ac.uk

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

claim paper

Read More »

145

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

A Survey of Good Practices and Misuses for Modelling with i* Framework

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers