Search Sciweavers | Sciweavers

21379 search results - page 110 / 4276

» The profession of IT - Evolutionary system development

114

click to vote

APN
2003
Springer

103views Artificial Intelligence» more APN 2003»

Modular System Development with Pullbacks

15 years 9 months ago

Download hal.archives-ouvertes.fr

Marek A. Bednarczyk, Luca Bernardinello, Beno&icir...

claim paper

Read More »

143

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

15 years 9 months ago

Download www-verimag.imag.fr

Etienne Closse, Michel Poize, Jacques Pulou, Josep...

claim paper

Read More »

165

click to vote

FASE
2000
Springer

117views Software Engineering» more FASE 2000»

Formal System Development with KIV

15 years 9 months ago

Download www.informatik.uni-augsburg.de

state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of

Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...

claim paper

Read More »

126

click to vote

ICSE
1987
IEEE-ACM

153views Software Engineering» more ICSE 1987»

Managing the Development of Large Software Systems: Concepts and Techniques

15 years 9 months ago

Download www.cs.umd.edu

W. W. Royce

claim paper

Read More »

122

click to vote

ASSETS
2008
ACM

84views Emerging Technology» more ASSETS 2008»

Stakeholder involvement in the design and development of a domestic well-being indicator system

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers