9006 search results - page 383 / 1802 » Modeling Software |
204
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
169
click to vote
ISPDC
2005
IEEE
16 years 10 days ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
170
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
203
click to vote
ECLIPSE
2004
ACM
16 years 5 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
203
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...