Sciweavers

16541 search results - page 267 / 3309

» Ontologies and Software Engineering

154

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 8 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

123

Voted

MSR
2010
ACM

116views Software Engineering» more MSR 2010»

Assessment of issue handling efficiency

15 years 8 months ago

Assessment of issue handling efficiency

Download swerl.tudelft.nl

Bart Luijten, Joost Visser, Andy Zaidman

claim paper

Read More »

132

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

15 years 8 months ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

145

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 8 months ago

Modeling with the Timing Definition Language (TDL)

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

163

DICS
2006

103views Software Engineering» more DICS 2006»

Dependable Systems

15 years 8 months ago

Dependable Systems

Download dmi.uib.es

André Schiper

claim paper

Read More »

« Prev « First page 267 / 3309 Last » Next »