4476 search results - page 323 / 896 » Modeling software architectures in the Unified Modeling Lang... |
193
click to vote
WICSA
2008
15 years 8 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...
163
click to vote
SKG
2005
IEEE
16 years 11 days ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
184
click to vote
ICECCS
2005
IEEE
16 years 12 days 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...
213
click to vote
ESOP
1992
Springer
15 years 11 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
161
click to vote
ACL
2008
15 years 8 months ago
2008
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...