Information and Software Technology

Công bố khoa học tiêu biểu

Sắp xếp:  
Semantic model-driven architecting of service-based software systems
Information and Software Technology - Tập 49 - Trang 838-850 - 2007
Claus Pahl
XML-based requirements engineering for an electronic clearinghouse
Information and Software Technology - Tập 47 - Trang 841-858 - 2005
Mariusz A. Fecko, Christopher M. Lott
Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator
Information and Software Technology - Tập 37 - Trang 547-555 - 1995
Greg Michaelson
A property specification pattern catalog for real-time system verification with UPPAAL
Information and Software Technology - Tập 154 - Trang 107100 - 2023
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
Software systems in-house integration: Architecture, process practices, and strategy selection
Information and Software Technology - Tập 49 - Trang 419-444 - 2007
Rikard Land, Ivica Crnkovic
Semantic information and consistency in distributed realtime systems
Information and Software Technology - Tập 30 - Trang 443-449 - 1988
Sang Hyuk Son
May/must analysis and the DFAGen data-flow analysis generator
Information and Software Technology - Tập 51 - Trang 1440-1453 - 2009
Andrew Stone, Michelle Strout, Shweta Behere
Interactive semi-automated specification mining for debugging: An experience report
Information and Software Technology - Tập 113 - Trang 20-38 - 2019
Mohammad Jafar Mashhadi, Taha R. Siddiqui, Hadi Hemmati, Howard Loewen
Realizing relational style operators and views in the Oggetto object-oriented database system
Information and Software Technology - Tập 35 - Trang 207-216 - 1993
J.A. Mariani
Tổng số: 1,686   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 169