Sciweavers

9018 search results - page 110 / 1804
» 3D-Brain Model Software
Sort
View
JIT
2004
Springer
131views Database» more  JIT 2004»
15 years 8 months ago
Agile Software Engineering: A New System for an Expanding Business Model at SCHUFA
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
Rainer Burkhardt, Volker Gruhn
ISSE
2010
15 years 1 months ago
Software model checking without source code
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
Sagar Chaki, James Ivers
138
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
167
Voted
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 9 months ago
A Quantitative Prediction Model for Hardware/Software Partitioning
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
Roel Meeuws, Yana Yankova, Koen Bertels, Georgi Ga...
TSE
2010
155views more  TSE 2010»
15 years 1 months ago
A Comparison of Six UML-Based Languages for Software Process Modeling
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
Reda Bendraou, Jean-Marc Jézéquel, M...