Sciweavers

1260 search results - page 158 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
ICSE
2000
IEEE-ACM
15 years 1 months ago
Software engineering and the Internet: a roadmap
We argue that a roadmap for software engineering and the Internet currently should be based on standards for complex data and document structures, like the Extensible Markup Langu...
Luca Bompani, Paolo Ciancarini, Fabio Vitali
88
Voted
DLOG
2003
14 years 11 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
ESOP
2009
Springer
15 years 4 months ago
Practical Variable-Arity Polymorphism
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthi...
ICSE
1999
IEEE-ACM
15 years 2 months ago
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
Elisabetta Di Nitto, David S. Rosenblum
INFOCOM
2012
IEEE
13 years 7 days ago
HAWK: An unmanned mini helicopter-based aerial wireless kit for localization
—This paper presents a fully functional and highly portable mini Unmanned Aerial Vehicle (UAV) system, HAWK, for conducting aerial localization. HAWK is a programmable mini helic...
Zhongli Liu, Yinjie Chen, Benyuan Liu, Chengyu Cao...