611 search results - page 62 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
132
Voted
DRM
2007
Springer
15 years 10 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
132
Voted
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
131
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
130
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
135
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...