1926 search results - page 313 / 386 » Modeling and Model Checking Software Product Lines |
138
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
137
Voted
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
135
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
164
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
149
Voted
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
Heterogeneous distributed computing platforms continue to require substantial effort in terms of software installation and management for efficient use, often necessitating manua...