2010-01-01から1年間の記事一覧
リアルタイムOS における電力アウェアスケジューリング方式 淺野 智之(電子情報システム工学専攻) A Power Aware Scheduling Method for Real-Time OSes Satoshi Asano (Advanced Engineering Faculty of Electronic and Information Systems)Abstract Thi…
Explain why testing can only detect the presence of errors, not their absencehttp://kazasou.files.wordpress.com/2009/03/softengstudyguide2009_rev.pdf
組込みソフトウェアとは?という難しい問題wについて独自の見解を述べている.非常に興味深い. IEEE Software May/June 2009 (vol. 26 no. 3) ISSN: 0740-7459FOCUS 1: Embedded Software Guest Editors' Introduction: Embedded Software ( Christof Ebert…
3.2 Changes in RequirementsThe requirements for a particular system or piece of software typically undergo a considerable amount of change during the course of a project. Changes to requirements may be necessary as a result of changes in t…
Styles of semantics Operational. Meanings for program phrases defined in terms of the steps of computation they can take during program execution. Axiomatic. Meanings for program phrases defined indirectly via the axioms and rules of some …
考察モデル検査を用いたテストスイート生成の基本的なアイデアは,望まれるシステムの性質に否定をつけてモデル検査を適用すると,反例として出てくるものは望まれるシステムの性質を検査するためのテストスイートになっているというものである.こうした望…
A trap property is the negation of the original (desired) property for systems. It plays important notion in a techniques of test-cases generation using model checking. The techniques of test-cases generation using model checking consists …
In formal methods in software engineering, "a never claim" represents a property of the system that should never be satisfied during the execution of a model/system.Never claim is considered to be useful notion. Since it is easier to prove…
Rank 1 ICSE: Intl Conf on Software Engineering (May.) paper submission deadline : Sep. FSE: ACM Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly) (Nov.) paper submission deadline : Mar. FM/FME: Formal …
http://www.compaid.com/caiinternet/ezine/westfall-bidirectional.pdf Traceability is one of the essential activities of good requirements management. Traceability is used to ensure that the right products are being built at each phase of th…
domain knowledge concerns facts which are true in the given domain (namely oil-processing) and which were extracted manually from various multilingual resources [Angelova & Bontcheva 97]. - domain—An area of human activity presumed to cont…
The IEEE Standard Glossary of Software Engineering Terminology defines traceability as “the degree to which a relationship can be established between two or more products of the development process, especially products having a predecessor…
Sara Jones, David Till, Ann M. Wrightson: Formal methods and requirements engineering: Challenges and synergies. 263-273