Sciweavers

1001 search results - page 26 / 201
» Myths in Software Engineering: From the Other Side
Sort
View
ICSE
2007
IEEE-ACM
15 years 6 months ago
Fifth Workshop on Software Quality
Cost, schedule and quality are highly correlated factors in software development. They basically form three sides of the same triangle. Beyond a certain point (the “Quality is F...
Barry W. Boehm, Sunita Chulani, June M. Verner, Be...
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 3 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl
COMPSAC
2006
IEEE
15 years 5 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
MOMPES
2008
IEEE
15 years 6 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
COMPSAC
1996
IEEE
15 years 4 months ago
Business Rule Extraction from Legacy Code
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiao...