Theme issue on Integrated Formal Methods
نویسندگان
چکیده
منابع مشابه
IFM2005 Doctoral Symposium on Integrated Formal Methods
Current mechanizations of programming logics are often in the form of verification condition generators. These frontends to a prover translate a program and assertions into conditions that when proven state that the program fulfils its assertions. Traditional verification condition generators are monolithic encapsulations of a programming language’s semantics. This makes it hard to build such v...
متن کاملSelected papers on Integrated Formal Methods (iFM09)
This issue contains extended versions of selected papers from the 7th International Conference on Integrated Formal Methods, iFM09, held on 16–19 February 2009 in Düsseldorf, Germany. The Integrated Formal Methods conference series seeks to further research into the combination of different formal methods, both for modeling and analysis, covering all aspects from language design over verificati...
متن کاملSpecial Issue on Formal Methods for Visual Interaction (Editorial)
INTEREST IN THE DESIGN and development of interactive visual applications has increased considerably over the last few years. The underlying reason for this is the need to allow the maximum number of people to access software applications for the widest number of purposes and in the widest number of contexts. There is also growing interest in the application of formal methods to visual interact...
متن کاملSpecial Theme Issue: E-Governemnt
i The Journal of Electronic Commerce in Organizations (JECO) always energetically searches the new issues to find and deliver to you the most innovative thinking on electronic commerce in organizations. We continue to focus on strategy, innovation, leadership, technology, and organizational change, while widening our coverage to include e-commerce, entrepreneurship, marketing, and finance. This...
متن کاملTheme issue: Wound healing mechanisms.
976 Wound healing disorders represent an important medical problem. This is particularly relevant for the elderly, who frequently suffer from complex disease states such as diabetes, venous stasis, or physical immobility, contributing to the development of chronic ulcers. In 1996, 6.5 million people in the U.S. suffered from skin ulcers, with the annual costs for diabetic ulcer treatment alone ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2015
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-015-0510-0