1107 search results - page 89 / 222 » XAIRA : software for language analysis |
105
Voted
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
109
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
118
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
93
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
103
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...