1023 search results - page 181 / 205 » Model Checking: Software and Beyond |
103
click to vote
STTT
2010
14 years 12 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
133
click to vote
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
115
click to vote
CEEMAS
2005
Springer
15 years 7 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
119
click to vote
AC
2000
Springer
15 years 1 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
119
click to vote
ICSEA
2009
IEEE
15 years 8 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...