9006 search results - page 216 / 1802 » Modeling Software |
187
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
188
click to vote
ICSE
2007
IEEE-ACM
16 years 14 days ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
174
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
201
click to vote
ICSR
2011
Springer
14 years 9 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
251
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...