15794 search results - page 285 / 3159 » Agent-Oriented Software Engineering |
148
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
147
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
System and program verification has been a large
132
Voted
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
172
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...