1031 search results - page 173 / 207 » On the Formal Development of Safety-Critical Software |
130
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
103
Voted
AAAI
2006
15 years 2 months ago
2006
This paper considers a distributed system of software agents who cooperate in helping their users to find services, provided by different agents. The agents need to ensure that th...
90
Voted
LDTA
2010
15 years 24 days ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
83
Voted
JSS
2010
14 years 11 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
107
Voted
TAAS
2010
14 years 7 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...