Skip Nav Destination
Close Modal
Update search
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
Filter
- Title
- Author
- Author Affiliations
- Full Text
- Abstract
- Keyword
- DOI
- ISBN
- ISBN-10
- ISSN
- EISSN
- Issue
- Journal Volume Number
- References
- Conference Volume Title
- Paper No
NARROW
Format
Article Type
Subject Area
Topics
Date
Availability
1-8 of 8
Keywords: formal specification
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Journal Articles
Publisher: ASME
Article Type: Research Papers
J. Comput. Inf. Sci. Eng. March 2012, 12(1): 011009.
Published Online: December 22, 2011
... 2010 11 07 2011 22 12 2011 22 12 2011 assembling data mining formal specification inference mechanisms ontologies (artificial intelligence) production engineering computing query processing user interfaces Much of the existing work related to ontologies...
Journal Articles
Anne Bolling, Jonas Jansson, Mattias Hjort, Mats Lidström, Staffan Nordmark, Håkan Sehammar, Leif Sjögren
Publisher: ASME
Article Type: Research Papers
J. Comput. Inf. Sci. Eng. December 2011, 11(4): 041009.
Published Online: December 6, 2011
... körsimulatorstudie ,” (“Road Users’ Requirements on Road Surface Condition—A Driving Simulator Study”), Swedish National Road and Traffic Institute, VTI Report No. 669. 29 06 2011 11 10 2011 06 12 2011 06 12 2011 condition monitoring formal specification mechanical engineering...
Journal Articles
Publisher: ASME
Article Type: Research Papers
J. Comput. Inf. Sci. Eng. March 2008, 8(1): 011002.
Published Online: February 14, 2008
... Engineering and Technology , Addison-Wesley , Reading, MA . 05 12 2006 13 08 2007 14 02 2008 agile manufacturing directed graphs formal specification Internet ontologies (artificial intelligence) specification languages supply chain management trees (mathematics) 1...
Journal Articles
Publisher: ASME
Article Type: Technical Papers
J. Comput. Inf. Sci. Eng. March 2007, 7(1): 66–71.
Published Online: November 22, 2006
... computational geometry formal specification formal verification minimax techniques matrix algebra variational techniques variational association geometrical specification datum verification minimax criterion least squares criterion pseudo-inverse matrix Computer aided design (CAD...
Journal Articles
Publisher: ASME
Article Type: Technical Papers
J. Comput. Inf. Sci. Eng. September 2005, 5(3): 171–181.
Published Online: September 1, 2005
... find approaches to solving their particular design problems using computational design synthesis. product design formal specification Simon , H. A. , 1993 , “ A Very Early Expert System ,” Anecdotes, IEEE Ann. Hist. Comput. 0164-1239 , 15 , No. 3 , pp. 63 – 68 . Simon...
Topics:
Design
Journal Articles
Sudarsan Rachuri, Young-Hyun Han, Sebti Foufou, Shaw C. Feng, Utpal Roy, Fujun Wang, Ram D. Sriram, Kevin W. Lyons
Publisher: ASME
Article Type: Technical Papers
J. Comput. Inf. Sci. Eng. March 2006, 6(1): 11–21.
Published Online: June 2, 2005
.../A Sungear Whole part(sunGearFeature: AF) mc8 Sungear Input shaft surface(inputShaft:AF) None Relativerotation(rp1:RevolutePair) 31 01 2005 02 06 2005 assembling formal specification tolerance analysis groupware CAD assembly modeling UML kinematics...
Journal Articles
Publisher: ASME
Article Type: Application Briefs
J. Comput. Inf. Sci. Eng. March 2004, 4(1): 60–67.
Published Online: March 23, 2004
... in the JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING . Manuscript received August 2003; Revised November 2003; Associate Editor: R. Rangan. 01 August 2003 01 November 2003 23 03 2004 computerised numerical control manufacturing data processing CAD/CAM formal...
Journal Articles
Publisher: ASME
Article Type: Technical Papers
J. Comput. Inf. Sci. Eng. March 2004, 4(1): 43–48.
Published Online: March 23, 2004
... Editor: P. Wright. 01 June 2002 01 November 2003 23 03 2004 CAD/CAM product design computational geometry grippers Java Internet robotic assembly formal specification An increasing number of products are designed by teams of engineers who may not all work...