Search Sciweavers | Sciweavers

1199 search results - page 15 / 240

» Software Verification and Software Engineering a Practitione...

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 8 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

15 years 8 months ago

Download swerl.tudelft.nl

Alberto González 0002, Éric Piel, Ha...

claim paper

Read More »

Voted

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 8 months ago

Download unit.aist.go.jp

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...

claim paper

Read More »

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 7 months ago

Download www.jaist.ac.jp

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

claim paper

Read More »

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers