João Araujo

Artificial Intelligence · 2002–2003

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom João Araujo trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Axel van Lamsweerde

Papers from João Araujo's perspective

Ordered by how strongly the researchers João Araujo trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Weaving Together Requirements and Architectures (Computer)
  2. Problem frames: analyzing and structuring software development problems (Software testing, verification & reliability)
  3. Composition patterns: an approach to designing reusable aspects (International Conference on Software Engineering)
  4. Problem frames: analyzing and structuring software development problems
  5. Composing crosscutting concerns using composition filters (CACM)
  6. Goal-oriented requirements engineering: a guided tour (Proceedings Fifth IEEE International Symposium on Requirements Engineering)
  7. Security and privacy requirements analysis within a social setting (Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.)
  8. Eliciting security requirements with misuse cases (Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000)
  9. Requirements engineering in the year 00: a research perspective (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  10. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))

Their papers