7209 search results - page 90 / 1442 » Software Engineering for Multi-Agent Systems |
VMCAI
2012
Springer
12 years 4 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
EXPERT
2007
13 years 8 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
APSEC
2007
IEEE
13 years 9 months ago
2007
IEEE
The problem frames approach to software engineering is primarily—but not exclusively—concerned with computer-based systems. The broad content and nature of the approach are exp...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...