Menu

West Ashley Library

Closed

Phone: (843) 766-6635

Wando Mount Pleasant Library

Closed

Phone: (843) 805-6888

Village Library

Closed

Phone: (843) 884-9741

St. Paul's/Hollywood Library

Closed

Phone: (843) 889-3300

Otranto Road Library

Closed

Phone: (843) 572-4094

Mt. Pleasant Library

Closed

Phone: (843) 849-6161

McClellanville Library

Closed

Phone: (843) 887-3699

Keith Summey North Charleston Library

Closed

Phone: (843) 744-2489

John's Island Library

Closed

Phone: (843) 559-1945

Hurd/St. Andrews Library

Closed

Phone: (843) 766-2546

Folly Beach Library

Closed

Phone: (843) 588-2001

Dorchester Road Library

Closed

Phone: (843) 552-6466

John L. Dart Library

Closed

Phone: (843) 722-7550

Bees Ferry West Ashley Library

Closed

Phone: (843) 805-6892

Baxter-Patrick James Island

Closed

Phone: (843) 795-6679

Miss Jane's Building (Edisto Library Temporary Location)

Closed

Phone: (843) 869-2355

Edgar Allan Poe/Sullivan's Island Library

Closed for renovations

Phone: (843) 883-3914

Main Library

2 p.m. – 5 p.m.

Phone: (843) 805-6930

Mobile Library

Closed

Phone: (843) 805-6909

Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Subject : programming languages

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

A Study of 12 Specifications of the Library Problem.

Authors : Wing, Jeannette M.

Subjects: LIBRARIES; PROGRAMMING languages; COMPUTER network resources

Source: IEEE Software. Jul88, Vol. 5 Issue 4, p66. 11p. 4 Charts.

Read More Add to Saved list

Academic Journal

Miró: Visual Specification of Security.

Authors : Heydon, Allan; Maimone, Mark W.; Tygar, J.D.

Subjects: VISUAL programming (Computer science); VISUAL programming languages (Computer science); PROGRAMMING languages

Source: IEEE Transactions on Software Engineering. Oct90, Vol. 16 Issue 10, p1185-1197. 13p. 14 Diagrams, 2 Charts.

Read More Add to Saved list

Academic Journal

Using Larch to Specify Avalon/C + + Objects.

Authors : Wing, Jeannette M.

Subjects: C++; PROGRAMMING languages; COMPUTER software

Source: IEEE Transactions on Software Engineering. Sep90, Vol. 16 Issue 9, p1076-1088. 13p.

Read More Add to Saved list

Academic Journal

Extending In a Jo with Temporal Logic.

Authors : Wing, Jeannette M.; Nixon, Mark R.

Subjects: SOFTWARE engineering; CONCURRENT engineering; SOFTWARE architecture

Source: IEEE Transactions on Software Engineering. Feb89, Vol. 15 Issue 2, p181-197. 17p. 2 Color Photographs, 8 Diagrams.

Read More Add to Saved list

Academic Journal

Formal methods: State of the Art and Future Directions.

Authors : Clarke, Edmund M.; Wing, Jeannette M.

Subjects: COMPUTER input-output equipment; COMPUTER software; ELECTRONIC systems

Source: ACM Computing Surveys; Dec96, Vol. 28 Issue 4, p626-643, 18p

Read More Add to Saved list

Periodical

Computer programming goes back to school.

Authors : Kafai, Yasmin B. (AUTHOR); Burke, Quinn (AUTHOR)

Subjects: PROGRAMMING languages; COMPUTERS in education; PROBLEM solving

Source: Phi Delta Kappan. Sep2013, Vol. 95 Issue 1, p61-65. 5p. 4 Color Photographs.

Read Online Read More Add to Saved list

Academic Journal

A Content Analysis of Computational Thinking Research: An International Publication Trends and Research Typology.

Authors : Tang, Kai-Yu; Chou, Te-Lien; Tsai, Chin-Chung

Subjects: CONTENT analysis; MENTAL training; PROGRAMMING languages

Source: Asia-Pacific Education Researcher (Springer Science & Business Media B.V.); Feb2020, Vol. 29 Issue 1, p9-19, 11p, 4 Charts, 4 Graphs

Read More Add to Saved list