programming methodologyの例文
もっと例文: 1 2 3 4
- He was also a founder-member of IFIP WG2.3 Programming Methodology, and is a founder-member of IFIP WG10.4 about Dependability and Fault Tolerance.
- Shrira is affiliated with the MIT Computer Science and Artificial Intelligence Laboratory, was a researcher in the MIT Programming Methodology Group, and has been a visiting researcher at Microsoft Research.
- Certain aspects of " table-based " or " query-based " ( or choose another term ) programming methodologies have gained serious formal consideration beyond just the narrowly focused interests of one individual.
- He was a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, and IFIP Working Group 2.3 on Programming Methodology, which he also chaired from 2003-2006.
- Horning's interests included programming languages, programming methodology, specification, formal methods, digital rights management and Larch approach to formal specification with John Guttag ( MIT ) " et al ."