8083 search results - page 248 / 1617 » A Formalization of Software Architecture |
178
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
164
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
189
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
140
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
165
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...