Search Sciweavers | Sciweavers

2613 search results - page 38 / 523

» Active Software Artifacts

click to vote

ICST
2010
IEEE

112views Software Engineering» more ICST 2010»

Challenges with Software Verification and Validation Activities in the Space Industry

14 years 9 months ago

Download www.cse.chalmers.se

Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal R...

claim paper

Read More »

click to vote

GPCE
2008
Springer

120views Programming Languages» more GPCE 2008»

Property models: from incidental algorithms to reusable components

15 years 27 days ago

Download parasol.cs.tamu.edu

A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...

Jaakko Järvi, Mat Marcus, Sean Parent, John F...

claim paper

Read More »

120

click to vote

SE
2007

200views Software Engineering» more SE 2007»

Enterprise application deployment: A model driven approach

15 years 1 months ago

Download subs.emis.de

Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-speciﬁc, generic or infrastructural functionality. Each component is...

Peter Golibrzuch, Alexander Holbreich, Simon Zambr...

claim paper

Read More »

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 6 months ago

Download unit.aist.go.jp

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

claim paper

Read More »