9006 search results - page 462 / 1802 » Modeling Software |
181
Voted
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
155
click to vote
LCTRTS
2004
Springer
16 years 6 days ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
187
Voted
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
196
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
183
Voted
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...