Sciweavers

1890 search results - page 134 / 378
» A component model for building systems software
Sort
View
CORR
2007
Springer
64views Education» more  CORR 2007»
13 years 8 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
ACMSE
1998
ACM
14 years 13 days ago
Improving software quality
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
Sharon Wheeler, Sheryl Duggins
TSE
2011
214views more  TSE 2011»
13 years 3 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
ISORC
1998
IEEE
14 years 14 days ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
ICSM
2002
IEEE
14 years 1 months ago
Combining Software Quality Predictive Models: An Evolutionary Approach
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
Salah Bouktif, Houari A. Sahraoui, Balázs K...