Sciweavers

352 search results - page 30 / 71
» Model-Based Development: Combining Engineering Approaches an...
Sort
View
TOOLS
2009
IEEE
16 years 21 days ago
On Realizing a Framework for Self-tuning Mappings
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
Manuel Wimmer, Martina Seidl, Petra Brosch, Horst ...
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 9 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 10 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
KBSE
2007
IEEE
16 years 7 days ago
Feature interaction analysis: a maintenance perspective
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
ICST
2008
IEEE
16 years 11 days ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim