Search Sciweavers | Sciweavers

4919 search results - page 38 / 984

» A Process-Ontological Model for Software Engineering

137

click to vote

ICSEA
2006
IEEE

90views Software Engineering» more ICSEA 2006»

Performance Model Interchange Format: Semantic Validation

15 years 12 months ago

Download dmi.uib.es

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

claim paper

Read More »

127

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 11 months ago

Download www.jaist.ac.jp

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

claim paper

Read More »

130

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

15 years 11 months ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

130

click to vote

RE
2005
Springer

80views Software Engineering» more RE 2005»

On Modelling Access Policies: Relating Roles to their Organisational Context

15 years 11 months ago

Download mcs.open.ac.uk

Robert Crook, Darrel C. Ince, Bashar Nuseibeh

claim paper

Read More »

124

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers