Search Sciweavers | Sciweavers

7202 search results - page 107 / 1441

» Software System Engineering: A Tutorial

220

click to vote

FECS
2010

1324views Education» more FECS 2010»

A Case Study in the Design of a Restaurant Management System

15 years 3 months ago

Download people.uncw.edu

Teaching software engineering at the undergraduate level is an exciting and challenging undertaking. Students come to software engineering with a variety of technical and sift ski...

Wesley Williams, Devon Simmonds

claim paper

Read More »

109

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

15 years 11 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

129

Voted

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

A System Development Process with Event-B and the Rodin Platform

15 years 11 months ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

Voted

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

15 years 10 months ago

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

129

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers