Sciweavers

555 search results - page 45 / 111
» Software, regulation, and domain specificity
Sort
View
PERCOM
2008
ACM
13 years 10 months ago
Composing software services in the pervasive computing environment: Languages or APIs?
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
Jon Robinson, Ian Wakeman, Dan Chalmers
ASWEC
2005
IEEE
14 years 3 months ago
Extending UML for Model Composition
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
Jacky Estublier, Anca Daniela Ionita
APSEC
2001
IEEE
14 years 1 months ago
A Component-Based Framework and Reusability in Garment
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
Naixiao Zhang, Ying Liu
INLG
2010
Springer
13 years 8 months ago
Generating Natural Language Descriptions of Z Test Cases
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
Maximiliano Cristiá, Brian Plüss
RE
2010
Springer
13 years 4 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis