Sciweavers

1516 search results - page 7 / 304
» Trends in Software Verification
Sort
View
GI
2009
Springer
13 years 5 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
DSD
2004
IEEE
135views Hardware» more  DSD 2004»
13 years 11 months ago
Long Term Trends for Embedded System Design
An embedded system is an application specific electronic sub-system used in a larger system such as an appliance, an instrument or a vehicle. An embedded system is generally made ...
Ahmed Amine Jerraya
ICSE
2007
IEEE-ACM
14 years 1 months ago
First International Workshop on Emerging Trends in FLOSS Research and Development
The   “Emerging   Trends   in   FLOSS   Research   and  Development” workshop series will be based on the  growing  interest   of   researchers   and  prac...
Andrea Capiluppi, Joseph Feller, Brian Fitzgerald,...
ECOOPW
2006
Springer
13 years 11 months ago
Architecture-Centric Evolution: New Issues and Trends
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
Paris Avgeriou, Uwe Zdun, Isabelle Borne
SIGSOFT
2009
ACM
14 years 8 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen